Pages that link to "Item:Q1255320"

The following pages link to Analysis of Petri nets by stepwise refinements (Q1255320):

Displaying 19 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)
• Connectivity of workflow nets: The foundations of stepwise verification (Q766173) (← links)
• A theory of bipolar synchronization scheme (Q799113) (← links)
• A method for stepwise refinement and abstraction of Petri nets (Q1052100) (← links)
• A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
• Design and implementation of a Petri net based supervisor for a flexible manufacturing system (Q1195811) (← links)
• Petri nets for modeling of dynamic systems -- a survey (Q1317176) (← links)
• Petri nets for the design and operation of manufacturing systems (Q1375146) (← 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)
• The box algebra = Petri nets + process expressions (Q1854558) (← 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)
• Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée (Q5479839) (← links)