Pages that link to "Item:Q703482"

The following pages link to Structure and behavior preservation by Petri-net-based refinements in system design (Q703482):

Displaying 2 items.

• Property-preserving subnet reductions for designing manufacturing systems with shared resources (Q1770402) (← links)
• Refining and verifying regular Petri nets (Q5451165) (← links)