Zusammenfassung
Die Synchronisation von mehreren Systemkomponenten wird durch eine rückwärts verzweigende Transitionen modelliert. In einem EFC-System ist eine Transition genau dann rückwärts verzweigt, wenn ihr Prozessor mehrere Stellen enthält. Jede markierte Stelle des Prozessors bleibt so lange markiert, bis alle Stellen markiert und damit die Transitionen des Prozessors aktiviert sind. Wir können die “teilweise Markierung” der Stellenmenge eines Prozessors als Anforderung an eine Synchronisation interpretieren. Wenn eine Folgemarkierung alle Stellen des Prozessors markiert, kann die Synchronistation stattfinden; die Anforderung wird bedient.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1992 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Desel, J. (1992). Blockierungsfreie EFC-Systeme. In: Struktur und Analyse von Free-Choice-Petrinetzen. DUV: Datenverarbeitung. Deutscher Universitätsverlag, Wiesbaden. https://doi.org/10.1007/978-3-663-14543-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-663-14543-1_6
Publisher Name: Deutscher Universitätsverlag, Wiesbaden
Print ISBN: 978-3-8244-2030-8
Online ISBN: 978-3-663-14543-1
eBook Packages: Springer Book Archive