Keyword:Petri net

Publications
Cetratus: Live Updates in Programmable Logic Controllers Imanol Mugarza and Juan Carlos Mugarza EasyChair Preprint 5598
Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity Xiang Zhaoyu EasyChair Preprint 4257
Petri nets and ODE as complementary tools in analysis of signaling pathways Daria Kogut, Kaja Gutowska, Aleksandra Poterała-Hejmo, Jarosław Śmieja, Dorota Formanowicz and Piotr Formanowicz In:Proceedings of 11th International Conference on Bioinformatics and Computational Biology
Vector Addition Systems Reachability Problem (A Simpler Solution) Jerome Leroux In:Turing-100. The Alan Turing Centenary