Warning: Parameter 1 to Language::getMagic() expected to be a reference, value given in /usr/share/mediawiki/includes/StubObject.php on line 58
Oclets - scenario-based modeling with Petri nets (Petri Nets 2009) – GRK-Wiki

Oclets - scenario-based modeling with Petri nets (Petri Nets 2009)

Aus GRK-Wiki

Wechseln zu: Navigation, Suche

Submitted and accepted as full paper at the 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2009).



We present a novel, operational, formal model for scenario-based modeling with Petri nets. A scenario-based model describes the system behavior in terms of partial runs, called scenarios. This paradigm has been formalized in message sequence charts (MSCs) and live sequence charts (LSCs) which are in industrial and academic use. A particular application for scenarios are process models in disaster management where system behavior has to be adapted frequently, occasionally at run-time. An operational semantics of scenarios would allow to execute and adapt such systems on a formal basis.

In this paper, we present a class of Petri nets for specifying and modeling systems with scenarios and anti-scenarios. We provide an operational semantics allowing to iteratively construct partially ordered runs that satisfy a given specification. We prove the correctness of our results.


  • article (revised version, for personal use only), .pdf


   address   = {Paris, France},
   author    = {Dirk Fahland},
   booktitle = {Proceedings of the 30th International Conference on Petri Nets and Other Models Of Concurrency, 22-26 May 2009},
   editor    = {Giuliana Franceschinis and Karsten Wolf},
   month     = jun,
   pages     = {223-242},
   publisher = {Springer-Verlag},
   series    = {Lecture Notes in Computer Science},
   title     = {Oclets - scenario-based modeling with {Petri} nets},
   volume    = {5606},
   year      = {2009},
   keywords  = {scenarios, operational semantics, partial order semantics, Petri nets}
Persönliche Werkzeuge