Listar por tema "Petri nets"
Mostrando ítems 1-2 de 2
-
Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets
(Institute of Electrical and Electronics Engineers Inc., 2015)Manufacturing systems are highly parallel and distributed processes which require a high level of guarantee in operation and safety. Its concurrent and non-deterministic nature makes its analysis and design very complex. ... -
Removing Omissions and Inconsistencies from the ISA 5.1 Narratives of Industrial Processes
(Cartagena de Indias, 2020-12-25)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, ...
Universidad Tecnológica de Bolívar - 2017 Institución de Educación Superior sujeta a inspección y vigilancia por el Ministerio de Educación Nacional. Resolución No 961 del 26 de octubre de 1970 a través de la cual la Gobernación de Bolívar otorga la Personería Jurídica a la Universidad Tecnológica de Bolívar.