Warning: The address you're using is deprecated. Please update your links to point to http://metrik.informatik.hu-berlin.de/grk-wiki/index.php/Oclets_-_Scenario-Based_Modeling_with_Petri_Nets

From GRK-Wiki

Technical Report of the Humboldt-Universität zu Berlin, Institut für Informatik, Informatik-Bericht number 223.

Author

• Dirk Fahland, Humboldt-Universität zu Berlin, Germany

Abstract

Scenario-based specifications are used for modeling highly-complex, distributed systems in terms of partial runs (scenarios) the system shall have. But it is difficult to derive an implementing, operational model from a given set of scenarios, especially if concepts like anti-scenarios which must not occur are used. In this paper, we present a novel model for scenario-based specifications with Petri nets including anti-scenarios; we provide an operational semantics for our model.

Downloads

• paper .pdf

BibTeX

 @inproceedings{Fahland_2008_awpn,
   Author = {Dirk Fahland},
   Booktitle = {Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008},
   Editor = {Niels Lohmann and Karsten Wolf},
   Month = sep,
   Pages = {1-6},
   Pdf = {http://CEUR-WS.org/Vol-380/paper01.pdf},
   Publisher = {CEUR-WS.org},
   Series = {CEUR Workshop Proceedings},
   Title = {Oclets -- Scenario-Based Modeling with {Petri} Nets},
   Volume = {380},
   Year = {2008}}