scientific article; zbMATH DE number 1836365

MaRDI QIDQ4782035zbMATH OpenFDO

Authors R. Sreenivas

Publication date 27 November 2002

zbMATH Keywords

Petri netfree-choice Petri net

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets
• An application of independent, increasing, free-choice Petri nets to the synthesis of policies that enforce liveness in arbitrary Petri nets
• Observable liveness of Petri nets
• On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets
• scientific article; zbMATH DE number 3878370

Cited in

(10)

• Free Choice Petri Nets
• Author's reply to: ``Counterexamples to: `Liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods' by X. Xia and A. Giua
• Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets
• Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets
• Observable liveness of Petri nets
• Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions
• Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems
• Advances in quantitative analysis of free-choice workflow Petri nets (invited talk)
• scientific article; zbMATH DE number 107897 (Why is no real title available?)
• On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions

This page was built for publication:

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