2013 | OriginalPaper | Buchkapitel
Sequential and Distributed Runs
verfasst von : Wolfgang Reisig
Erschienen in: Understanding Petri Nets
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This chapter covers the question of how to formulate individual
runs
(e.g.,
calculations
,
behaviors
) of distributed, reactive systems, and what insights into a system such runs can provide.
At first, we will examine the very intuitive term of a
sequential run
of a system net.
Distributed runs
require slightly more effort in understanding, but also describe the behavior more accurately. They form the basis for the concept of
scenarios
, which is covered in the next chapter.