For the most recent entries see the Petri Nets Newsletter.

Liveness-Enforcing Supervision for Resource Allocation Systems with Uncontrollable Behavior and Forbidden States.

Park, Jonghun; Reveliotis, Spyros

In: IEEE Transactions on Robotics & Automation, Vol. 18, No. 2 (2002), pages 234-240. 2002.


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

Back to the Petri Nets Bibliography