View source

__NOTOC__
__NOEDITSECTION__

Submitted and accepted as full paper at the 30th International Conference on Application and Theory of
Petri Nets and Other Models of Concurrency ([http://petrinets2009.lip6.fr/index.php Petri Nets 2009]).

== Author ==

* [[Person:Fahland|Dirk Fahland]], Humboldt-Universität zu Berlin, Germany

== Abstract ==

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.

== Download ==

* article (revised version, for personal use only), [http://www.informatik.hu-berlin.de/~fahland/docs/fahland09_petrinets_rev.pdf .pdf]

== BibTeX ==

  @InProceedings{Fahland2009_oclets,
    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}
  }

[[Category:Publications]]