The following pages link to (Q3745291):
Displaying 20 items.
- Dynamically consistent reduction of logical regulatory graphs (Q533364) (← links)
- Connectivity of workflow nets: The foundations of stepwise verification (Q766173) (← links)
- Reduction rules for reset/inhibitor nets (Q847264) (← links)
- Petri nets for the design and operation of manufacturing systems (Q1375146) (← links)
- Property-preserving subnet reductions for designing manufacturing systems with shared resources (Q1770402) (← links)
- Reduction techniques for network validation in systems biology (Q1790877) (← links)
- Reduction using induced subnets to systematically prove properties for free-choice nets (Q2117169) (← links)
- Property-preserving transformations of elementary net systems based on morphisms (Q2163769) (← links)
- LTL under reductions with weaker conditions than stutter invariance (Q2165225) (← links)
- Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties (Q2197578) (← links)
- A Canonical Contraction for Safe Petri Nets (Q3452474) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Calculi of net structures and sets are similar (Q3515462) (← links)
- Decompositional Petri Net Reductions (Q3605479) (← links)
- (Q3819969) (← links)
- Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets (Q4633156) (← links)
- Symbolic and Structural Model-Checking (Q5025068) (← links)
- Computing Petri net languages by reductions (Q5055897) (← links)
- Structural Reductions Revisited (Q5100759) (← links)
- Petri Net Reductions for Counting Markings (Q5883572) (← links)
