Pages that link to "Item:Q4302739"

The following pages link to Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis (Q4302739):

Displaying 8 items.

• Petri nets for the design and operation of manufacturing systems (Q1375146) (← links)
• Behavior relativity of Petri nets. (Q1433955) (← links)
• Modeling, simulation, estimation and boundedness analysis of discrete event systems (Q2152875) (← links)
• Nested-unit Petri nets (Q2423743) (← links)
• State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
• Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis (Q2813985) (← links)
• Modular state space analysis of coloured Petri Nets (Q5096364) (← links)
• Automatic verification for a class of distributed systems (Q5137900) (← links)