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 16 items.
- Merged processes: a new condensed representation of Petri net behaviour (Q854679) (← links)
- An algebraic characterization of independence of Petri net processes (Q1028983) (← links)
- 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)
- Axiomatizing the algebra of net computations and processes (Q1901718) (← links)
- Process algebras for Petri nets. The alphabetization of distributed systems (Q2406167) (← links)
- Executions in (Semi-)Integer Petri Nets are Compact Closed Categories (Q3385632) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← links)
- (Q4296304) (← links)
- Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)
- Axiomatizing Petri net concatenable processes (Q5055915) (← links)
- Open Petri nets (Q5139283) (← links)
- Petri Nets Are Dioids (Q5505415) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897493) (← links)