Control of safe ordinary Petri nets using unfolding

DOI10.1007/S10626-005-4057-ZzbMATH Open1103.68082OpenAlexW1995324690MaRDI QIDQ816699FDOQ816699

Alessandro Giua, Xiaolan Xie

Publication date: 23 February 2006

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://hal-emse.ccsd.cnrs.fr/emse-00449397/file/XX-DEDS-TA-15-original.pdf

Recommendations

• Forbidden state avoidance controller synthesis for Petri nets
• Structural optimal control for safe Petri nets
• A generalization of state avoidance policies for controlled Petri nets
• On forbidden state problems for a class of controlled Petri nets
• scientific article; zbMATH DE number 2117022

zbMATH Keywords

Petri netsunfoldingdeadlock avoidanceforbidden markings

Mathematics Subject Classification ID

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

Cites Work

• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• An improvement of McMillan's unfolding algorithm
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
• A technique of state space search based on unfolding
• Title not available (Why is that?)
• Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
• Markov nets: probabilistic models for distributed and concurrent systems
• Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods
• Counterexamples to “Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial-Order Methods”
• Control of safe ordinary Petri nets using unfolding

Cited In (7)

• Trellis processes: a compact representation for runs of concurrent systems
• Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
• Title not available (Why is that?)
• Controller Synthesis with Highly Simplified Linear Constraints
• Avoiding exponential explosion in Petri net models of control flows
• Reduction of constraints for controller synthesis based on safe Petri nets
• Control of safe ordinary Petri nets using unfolding

Uses Software

• REACH

This page was built for publication: Control of safe ordinary Petri nets using unfolding

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q816699)