The following pages link to Synchronisationsgraphen (Q2554953):
Displaying 14 items.
- Characterisation of the state spaces of marked graph Petri nets (Q515678) (← links)
- Complexity results for 1-safe nets (Q672459) (← links)
- Reachability in cyclic extended free-choice systems (Q685410) (← links)
- D-continuous causal nets: A model of non-sequential processes (Q788491) (← links)
- A theory of bipolar synchronization scheme (Q799113) (← links)
- Some behavioural aspects of net theory (Q913516) (← links)
- The decidability of persistence for vector addition systems (Q1144929) (← links)
- Adequacy properties of path programs (Q1161276) (← links)
- Traps characterize home states in free choice systems (Q1194324) (← links)
- (A-)synchronous (non)-deterministic cell spaces simulating each other (Q1253921) (← links)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- State space axioms for T-systems (Q2340253) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
- Kleene Theorems for Product Systems (Q5200095) (← links)