Abstract
A user of a technical or organizational system usually does not need each and every possible behavior of the system. The work is often limited to a few activities that are repeatedly executed. Therefore, it is convenient to consider typical scenarios of a system. A scenario consists of a finite number of elementary actions and terminates in the same state in which it started. Because of this, multiple instances of a scenario can occur multiple times in the same run. A scenario often describes an interaction pattern between a process and its environment, or between two processes.
Typical scenarios of the systems considered thus far are: selling a packet of cookies, visiting one’s critical state once, and sending a message.
Technically, a scenario is constructed as a finite distributed run, whose final marking equals its initial marking. A run of a distributed, reactive system is often composed of many instances of only a few scenarios. If every run can essentially be constructed like this, the system is scenario-based. Understanding the scenarios of a system is often the easiest way to understand the entire system. We will illustrate this using the examples of the mutual exclusion system, the crosstalk algorithm and the cookie vending machine.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Reisig, W. (2013). Scenarios. In: Understanding Petri Nets. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33278-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-33278-4_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33277-7
Online ISBN: 978-3-642-33278-4
eBook Packages: Computer ScienceComputer Science (R0)