Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes
This work is concerned with the modelling of industrial processes, described by Pipe and Instrumentation Diagrams (P&ID) and narratives as specified in the norm ISA 5.1, by Interpreted Petri Nets (IPN). In a previous work, a modeling methodology was introduced in order to translate a P&ID re...
- Autores:
-
Rozo-Ibañez, D.
Ruíz-León, J.
Guevara-Lozano, D.
Vázquez, C. R.
Rios, Y. Yuliana
- Tipo de recurso:
- Fecha de publicación:
- 2020
- Institución:
- Universidad Tecnológica de Bolívar
- Repositorio:
- Repositorio Institucional UTB
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.utb.edu.co:20.500.12585/10027
- Acceso en línea:
- https://hdl.handle.net/20.500.12585/10027
https://ieeexplore.ieee.org/document/9299209
- Palabra clave:
- P&ID
Petri nets
ISA
Industrial processes
LEMB
- Rights
- closedAccess
- License
- http://purl.org/coar/access_right/c_14cb
Summary: | This work is concerned with the modelling of industrial processes, described by Pipe and Instrumentation Diagrams (P&ID) and narratives as specified in the norm ISA 5.1, by Interpreted Petri Nets (IPN). In a previous work, a modeling methodology was introduced in order to translate a P&ID representation into an IPN. Now, herein the proposed methodology is enriched with the inclusion of errors detection and recovery stages that allow to remove errors involuntarily introduced by engineers in the P&ID and the process and operation narratives. In particular, the detection stage searches for omitted or inconsistent information involuntarily introduced in the narratives. Every omitted or inconsistent information is referred as an error. The errors are detected by evaluating logical predicates given in a list of predicates, which can be extended to include new type of errors. The recovery stage is then implemented by the execution of functions that focus on removing the detected errors. These functions fix the information in some tables, this information is then propagated to the narratives and the derived IPN models, in order to make consistent the information in the model. |
---|