Pages that link to "Item:Q1168736"
From MaRDI portal
The following pages link to An algebraic description of system behaviours (Q1168736):
Displayed 7 items.
- Petri nets are monoids (Q922720) (← links)
- An algebraic characterization of independence of Petri net processes (Q1028983) (← links)
- An algebra of processes (Q1096381) (← links)
- Concurrent transition systems (Q1119395) (← links)
- Process languages and nets (Q1575245) (← links)
- Calculi of net structures and sets are similar (Q3515462) (← links)
- An extension of the notions of traces and of asynchronous automata (Q3988805) (← links)