Petri nets and flexible manufacturing

Compositional verification of concurrent systems using Petri-net-based condensation rules

ACM Transactions on Programming Languages and Systems (TOPLAS)

Integrating Petri nets and hybrid heuristic search for the scheduling of FMS

Computers in Industry

A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets

Five Classes of Invariant-Preserving Transformations on Colored Petri Nets

Proceedings of the 20th International Conference on Application and Theory of Petri Nets

PN to CSP Methodology: Improved Bounds

CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence

Distributed cooperative control of industrial robotic systems using Petri net based multitask processing

ICIRA'10 Proceedings of the Third international conference on Intelligent robotics and applications - Volume Part II

Soundness of resource-constrained workflow nets

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

A time stamp reduction method for state space exploration using colored Petri nets

Simulation

Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems

Mathematical and Computer Modelling: An International Journal