Pages that link to "Item:Q5902258"
From MaRDI portal
The following pages link to Synthesis of Nets with Step Firing Policies (Q5902258):
Displayed 10 items.
- Regions of Petri nets with a/sync connections (Q714824) (← links)
- Applying regions (Q728281) (← links)
- Signal set tissue systems and overlapping localities (Q1682863) (← links)
- Asynchrony and persistence in reaction systems (Q2044949) (← links)
- Step semantics of Boolean nets (Q2376982) (← links)
- The Mutex Paradigm of Concurrency (Q3011890) (← links)
- Synthesis of Petri Nets with Whole-Place Operations and Localities (Q3179395) (← links)
- Tissue Systems and Petri Net Synthesis (Q3452477) (← links)
- Investigating Reversibility of Steps in Petri Nets (Q5025059) (← links)
- Reversing Steps in Petri Nets (Q6144213) (← links)