For the most recent entries see the Petri Nets Newsletter.

Algebraic Synthesis of Efficient Deadlock Avoidance Policies for Sequential Resource Allocation Systems.

Reveliotis, Spyros; Park, Jonghun

In: IEEE Transactions on Robotics & Automation, Vol. 16, No. 2 (2000), pages 190-195. 2000.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography