Pages that link to "Item:Q703482"
From MaRDI portal
The following pages link to Structure and behavior preservation by Petri-net-based refinements in system design (Q703482):
Displaying 4 items.
- Property-preserving subnet reductions for designing manufacturing systems with shared resources (Q1770402) (← links)
- Methods for behavior descriptions of structure-complex Petri nets (Q4915283) (← links)
- Refining and verifying regular Petri nets (Q5451165) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900836) (← links)