Options
1997
Conference Paper
Title
Modelling and verification with petri nets: Comparing a state oriented and event oriented approach
Other Title
Modellierung und Verifikation mit Petrinetzen: Vergleich eines zustandsorientierten und eines ereignisorientierten Ansatzes
Abstract
A modelling and verification case study is presented and treated by two different approaches using Petri nets. It is argued that those approaches are in fact special cases of a common approach that takes into account all aspects of Petri nets.
Conference