On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets

DOI10.1109/9.599972zbMath0887.93002MaRDI QIDQ4361121

Ramavarapu S. Sreenivas

Publication date: 14 December 1997

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/55d3067c9430b50e8009fb475995cd931a1297ac

zbMATH Keywords

liveness; supervisor; controlled Petri nets; minimally restrictive supervisory policy

Mathematics Subject Classification ID

93A13: Hierarchical systems

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Related Items

Synthesis of controllers for symmetric systems, Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets, Supervisory Control of Petri Nets with Language Specifications, Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching, Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach, Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets, Unnamed Item