Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Modelling and verification with petri nets: Comparing a state oriented and event oriented approach

Modellierung und Verifikation mit Petrinetzen: Vergleich eines zustandsorientierten und eines ereignisorientierten Ansatzes
 
: Mackenthun, R.; Voorhoeve, M.

Farwer, B.; Moldt, D.; Stehr, M.-O. ; Univ. Hamburg, Fachbereich Informatik:
Petri nets in system engineering : modelling, verification and validation
Hamburg: Bibl. des Fachbereichs Informatik, 1997
Reportnr.: FBI HH B 205 97
pp.90-100
PNSE <1997, Hamburg>
English
Conference Paper
Fraunhofer ISST ()
formal verification; modelling; petri net; process algebra; temporal logic

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.

: http://publica.fraunhofer.de/documents/PX-24635.html