Keyword:Petri net

Papers
Cetratus: Live Updates in Programmable Logic Controllers Imanol Mugarza and Juan Carlos Mugarza EasyChair Preprint no. 5598
Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity Xiang Zhaoyu EasyChair Preprint no. 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