Pages that link to "Item:Q5451165"
From MaRDI portal
The following pages link to Refining and verifying regular Petri nets (Q5451165):
Displaying 9 items.
- Error-correcting Petri nets (Q553909) (← links)
- Structure and behavior preservation by Petri-net-based refinements in system design (Q703482) (← links)
- Verification of bounded Petri nets using integer programming (Q878111) (← links)
- Composition colored Petri nets for the refinement of reaction-based models (Q1744368) (← links)
- Controllability of control and mixture weakly dependent siphons in S<sup>3</sup>PR (Q2872614) (← links)
- Deterministic weak-and-marked Petri net languages are regular (Q3124464) (← links)
- On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S<sup>3</sup>PR of flexible manufacturing systems (Q5265607) (← links)
- Experimenting Formal Proofs of Petri Nets Refinements (Q5403468) (← links)
- (Q5457661) (← links)