| edoc-Server der Humboldt-Universität zu Berlin |
| Publikationsart: | Artikel |
| Autor(en): | Hans-Dieter Burkhard |
| Titel: | Control of Petri Nets by Finite Automata |
| Erschienen in: |
Fundamenta Informaticae VI.2 1983 S. 185-215 http://fi.mimuw.edu.pl/ |
| Erstveröffentlichung: | 1983 |
| Einreichung: | 15.06.1982 |
| Veröffentlichung auf edoc: | 26.09.2008 |
| Status: |
published peer_reviewed |
| Volltext: | pdf (urn:nbn:de:kobv:11-10091991) |
| Fachgebiet(e): | Informatik |
| Schlagwörter (eng): | petri nets, automata, control of concurrent systems, conflict, deadlock |
| Einrichtung: | Humboldt-Universität zu Berlin |
| Metadatenexport:
|
Endnote Bibtex |
| print on demand:
|
|
| Diese Seite taggen:
|
| Abstract (eng): | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Petri nets are considered where the firings are controled by finite automata. The control may be distributed to different automata working over disjoint sets of transitions. To avoid deadlocks and conflicts for the whole system the distribution of control must be organized in an appropriate manner. The existance of deadlocks and conflicts is shown to be undecidable in general, but conflict resolving and deadlock free controls can be constructed for given nets. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Zugriffsstatistik:
Bei Formatversionen eines Dokuments, die aus mehreren Dateien bestehen (insbesondere HTML), wird jeweils der monatlich höchste Zugriffswert auf eine der Dateien (Kapitel) des Dokuments angezeigt. Um die detaillierten Zugriffszahlen zu sehen, fahren Sie bitte mit dem Mauszeiger über die einzelnen Balken des Diagramms. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Gesamtzahl der Zugriffe seit May 2011:
|
|
| |||