Controlling Petri Net Behavior Using Priorities for Transitions

Irina A. Lomazova, Louchka Popova-Zeugmann. Controlling Petri Net Behavior Using Priorities for Transitions. In Louchka Popova-Zeugmann, editor, Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014. Volume 1269 of CEUR Workshop Proceedings, pages 126-137, CEUR-WS.org, 2014. [doi]

Abstract

Abstract is missing.