Pages that link to "Item:Q3856666"

The following pages link to Reduction and expansion of live and safe marked graphs (Q3856666):

Displaying 4 items.

• Structure and behavior preservation by Petri-net-based refinements in system design (Q703482) (← links)
• A method for stepwise refinement and abstraction of Petri nets (Q1052100) (← links)
• Stubborn versus structural reductions for Petri nets (Q1633343) (← links)
• On liveness and boundedness of asymmetric choice nets (Q1884933) (← links)