A technique of state space search based on unfolding
Formal Methods in System Design1995Vol. 6(1), pp. 45–65
Citations Over TimeTop 10% of 1995 papers
Related Papers
- → Design of a Petri Net Based Deadlock Prevention Policy Supervisor for S3PR(2015)22 cited
- → Deadlock Avoidance Policy for Flexible Manufacturing Systems(1995)31 cited
- → A Petri nets based deadlock avoidance policy for flexible manufacturing systems(2005)5 cited
- Deadlock Prevention in Manufacturing Systems Based on Petri Nets(2004)
- Two Petri Nets Models to approach the Dining Philosophers Problem(2002)