Carla Capellmann, Heinz Dibold. Petri Net Based Specifications of Services in an Intelligent Network - Experiences gained from a Test Case Application. In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings. Volume 691 of Lecture Notes in Computer Science, pages 542-551, Springer, 1993.
Abstract is missing.