Supervisory control of concurrent systems. A Petri net structural approach.
From MaRDI portal
Publication:2501322
zbMath1129.93034MaRDI QIDQ2501322
Marian V. Iordache, Panos J. Antsaklis
Publication date: 5 September 2006
Published in: Systems \& Control: Foundations \& Applications (Search for Journal in Brave)
Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01)
Related Items (11)
Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement ⋮ Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory ⋮ Concurrency bugs in multithreaded software: modeling and analysis using Petri nets ⋮ Unnamed Item ⋮ Editorial: Deadlock analysis and control in resource allocation systems ⋮ A survey of siphons in Petri nets ⋮ On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net ⋮ Dual perspectives of equilibrium throughput properties of continuous mono-T-semiflow Petri nets: firing rate and initial marking variations ⋮ Continuous Petri Nets: Controllability and Control ⋮ Performance optimization for a class of generalized stochastic Petri nets ⋮ Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions
Uses Software
This page was built for publication: Supervisory control of concurrent systems. A Petri net structural approach.