You need JavaScript to view this

Control of Petri Nets by finite automata

Journal Article:

Abstract

Petri Nets are considered where the firings are controlled by finite automata. The control may be distributed to various automata working over disjoint sets of transitions. To avoid deadlocks and conflicts for the whole system the distribution of control must be organised in an appropriate manner. The existence of deadlocks and conflicts is shown to be undecidable in general, but conflict resolving and deadlock free controls can be constructed for given nets. 10 references.
Authors:
Publication Date:
Jan 01, 1983
Product Type:
Journal Article
Reference Number:
EDB-85-179747
Resource Relation:
Journal Name: Ann. Soc. Math. Pol. Ser. IV: Fundam. Inf.; (Poland); Journal Volume: 2
Subject:
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; ARRAY PROCESSORS; PROGRAMMING; CONTROL; GRAPHS; SYNCHRONIZATION; 990200* - Mathematics & Computers
OSTI ID:
5135135
Research Organizations:
Humboldt Univ. of Berlin, Germany, F.R.
Country of Origin:
Poland
Language:
English
Other Identifying Numbers:
Journal ID: CODEN: FUMAA
Submitting Site:
HEDB
Size:
Pages: 185-215
Announcement Date:

Journal Article:

Citation Formats

Burkhard, H D. Control of Petri Nets by finite automata. Poland: N. p., 1983. Web.
Burkhard, H D. Control of Petri Nets by finite automata. Poland.
Burkhard, H D. 1983. "Control of Petri Nets by finite automata." Poland.
@misc{etde_5135135,
title = {Control of Petri Nets by finite automata}
author = {Burkhard, H D}
abstractNote = {Petri Nets are considered where the firings are controlled by finite automata. The control may be distributed to various automata working over disjoint sets of transitions. To avoid deadlocks and conflicts for the whole system the distribution of control must be organised in an appropriate manner. The existence of deadlocks and conflicts is shown to be undecidable in general, but conflict resolving and deadlock free controls can be constructed for given nets. 10 references.}
journal = {Ann. Soc. Math. Pol. Ser. IV: Fundam. Inf.; (Poland)}
volume = {2}
journal type = {AC}
place = {Poland}
year = {1983}
month = {Jan}
}