Refining and verifying regular Petri nets
DOI10.1080/00207720701621959zbMATH Open1138.93036OpenAlexW2008846552MaRDI QIDQ5451165FDOQ5451165
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
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
Programming involving graphs or networks (90C35) Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65)
Cites Work
- Free Choice Petri Nets
- A method for stepwise refinement and abstraction of Petri nets
- Analysis of Petri nets by stepwise refinements
- A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
- Structure and behavior preservation by Petri-net-based refinements in system design
- On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement
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
- Title not available (Why is that?)
- Refinement of synchronizable places with multi-workflow nets
- Deterministic weak-and-marked Petri net languages are regular
- Structure and behavior preservation by Petri-net-based refinements in system design
- Error-correcting Petri nets
- Controllability of control and mixture weakly dependent siphons in S\(^{3}\)PR
- Composition colored Petri nets for the refinement of reaction-based models
- Experimenting Formal Proofs of Petri Nets Refinements
- Petri net refinement and its application in system design
- Verification of bounded Petri nets using integer programming
- Rule-based refinement of Petri nets: A survey
- On the lower bound of monitor solutions of maximally permissive supervisors for a subclass \(\alpha\)-\(S^{3}\)PR of flexible manufacturing systems
- Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!
- Title not available (Why is that?)
- 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)
