On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets

Autor:	Ramavarapu S. Sreenivas, N. Somnath
Rok vydání:	2013
Předmět:	Discrete mathematics Supervisory control Control and Systems Engineering Liveness Class (philosophy) Electrical and Electronic Engineering Petri net Free choice petri nets Decidability Mathematics Undecidable problem
Zdroj:	IEEE Transactions on Automation Science and Engineering. 10:1157-1160
ISSN:	1558-3783 1545-5955
DOI:	10.1109/tase.2012.2227961
Popis:	If there are transitions in a Petri net (PN) that cannot be prevented from firing by a supervisory policy, then we have a partially controlled PN. The existence of a liveness enforcing supervisory policy (LESP) in a partially controlled ordinary PN is undecidable. Consequently, there can be no algorithms that synthesize an LESP for an arbitrary ordinary (general) PN. In contrast, we identify a class of general free-choice PN (FCPN) structures, which strictly includes the class of ordinary FCPN structures, where the existence of an LESP in any marked member of the class is decidable.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::259ed8801f0f933e265c2ab0300c2934 https://doi.org/10.1109/tase.2012.2227961 Zobrazit plný text záznamu