Zusammenfassung
In diesem Kapitel geht es um die Frage, wie man einzelne Abläufe (Berechnungen, runs, behaviors) verteilter und reaktiver Systeme formuliert, und welehe Einsiehten in ein System damus ableitbar sind.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2010 Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH
About this chapter
Cite this chapter
Reisig, W. (2010). Sequentielle und verteilte Abläufe. In: Petrinetze. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-8348-9708-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-8348-9708-4_5
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-8348-1290-2
Online ISBN: 978-3-8348-9708-4
eBook Packages: Computer Science and Engineering (German Language)