scientific article; zbMATH DE number 1836365
From MaRDI portal
Publication:4782035
zbMATH Open1009.68086MaRDI QIDQ4782035FDOQ4782035
Authors: R. Sreenivas
Publication date: 27 November 2002
Title of this publication is not available (Why is that?)
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
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (10)
- 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
- Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions
- Observable liveness of Petri nets
- Advances in quantitative analysis of free-choice workflow Petri nets (invited talk)
- Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems
- Title not available (Why is that?)
- On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions
- Free Choice Petri Nets
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)