In: 97: Proceedings of the Workshop on Petri Nets in System Engineering (PNSE'97), Hamburg, September 25-26, 1997 / Farwer, B.; Moldt, D.; Stehr, M.-O.: Report FBI-HH-B-205, pages 90-100. Universität Hamburg, September 1997.
Abstract: A modelling and verification case study is presented and treated by two different approaches using Petri Nets. It is argued that these two approaches are in fact special cases of a common approach that takes into account all aspects of Petri nets.