Pages that link to "Item:Q672052"
From MaRDI portal
The following pages link to An axiomatization of the algebra of Petri net concatenable processes (Q672052):
Displaying 9 items.
- Normal forms for algebras of connections. (Q1853455) (← links)
- Relaxed models for rewriting logic (Q1853590) (← links)
- Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Executions in (Semi-)Integer Petri Nets are Compact Closed Categories (Q3385632) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← links)
- Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)
- Open Petri nets (Q5139283) (← links)
- Petri Nets Are Dioids (Q5505415) (← links)
