WODES

Frey, G.; Schettler, H.-G.: Algebraic Analysis of Petri Net based Control Algorithms. Proceedings of the IEEE WODES'98, pp. 94-96, Cagliari, Italy,  Aug. 1998.