Pages that link to "Item:Q1052100"

The following pages link to A method for stepwise refinement and abstraction of Petri nets (Q1052100):

Displaying 20 items.

• Structure and behavior preservation by Petri-net-based refinements in system design (Q703482) (← links)
• Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
• Adequacy-preserving transformations of COSY path programs (Q1185020) (← links)
• Design and implementation of a Petri net based supervisor for a flexible manufacturing system (Q1195811) (← links)
• Composition colored Petri nets for the refinement of reaction-based models (Q1744368) (← links)
• Property-preserving subnet reductions for designing manufacturing systems with shared resources (Q1770402) (← links)
• A coordination theory for intelligent machines (Q1814043) (← links)
• Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
• On liveness and boundedness of asymmetric choice nets (Q1884933) (← links)
• Translation validation of coloured Petri net models of programs on integers (Q2089749) (← links)
• Property-preserving transformations of elementary net systems based on morphisms (Q2163769) (← links)
• Nested-unit Petri nets (Q2423743) (← links)
• Petri net reactive modules (Q2503287) (← links)
• Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
• Reduction of Workflow Nets for Generalised Soundness Verification (Q2961558) (← links)
• Refinement of Synchronizable Places with Multi-workflow Nets (Q3011886) (← links)
• A mathematical model for system design and refinement (Q3477975) (← links)
• Methods for behavior descriptions of structure-complex Petri nets (Q4915283) (← links)
• Functional equivalences of Petri nets (Q5096374) (← links)
• Refining and verifying regular Petri nets (Q5451165) (← links)