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