Refining and verifying regular Petri nets

DOI10.1080/00207720701621959MaRDI QIDQ5451165zbMATH OpenOpenAlexFDO

Authors Li Jiao

Publication date 18 March 2008

Published in International Journal of Systems Science. Principles and Applications of Systems and Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207720701621959

zbMATH Keywords

regularityboundednessrefinementPetri netliveness

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35) Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65)

Recommendations

• Petri net refinement and its application in system design
• Structure and behavior preservation by Petri-net-based refinements in system design
• scientific article; zbMATH DE number 4049068
• Rule-based refinement of Petri nets: A survey
• Petri nets modeling and analysis method based on the refinement operation

Cites work

• A method for stepwise refinement and abstraction of Petri nets
• A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
• Analysis of Petri nets by stepwise refinements
• Free Choice Petri Nets
• On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement
• Structure and behavior preservation by Petri-net-based refinements in system design

Cited in

(20)

• Petri nets modeling and analysis method based on the refinement operation
• From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
• Concurrency based transition refinement for the verification of distributed algorithms
• scientific article; zbMATH DE number 4049068 (Why is no real title available?)
• Deterministic weak-and-marked Petri net languages are regular
• Refinement of synchronizable places with multi-workflow nets
• Structure and behavior preservation by Petri-net-based refinements in system design
• Error-correcting Petri nets
• Composition colored Petri nets for the refinement of reaction-based models
• Controllability of control and mixture weakly dependent siphons in S\(^{3}\)PR
• Experimenting Formal Proofs of Petri Nets Refinements
• Verification of bounded Petri nets using integer programming
• Petri net refinement and its application in system design
• Rule-based refinement of Petri nets: A survey
• Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!
• On the lower bound of monitor solutions of maximally permissive supervisors for a subclass \(\alpha\)-\(S^{3}\)PR of flexible manufacturing systems
• scientific article; zbMATH DE number 5263412 (Why is no real title available?)
• A mathematical model for system design and refinement
• From many places to few: automatic abstraction refinement for Petri nets
• Rule-based refinement of high-level nets preserving safety properties

This page was built for publication: Refining and verifying regular Petri nets

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