Pages that link to "Item:Q672872"
From MaRDI portal
The following pages link to Process versus unfolding semantics for Place/Transition Petri nets (Q672872):
Displaying 10 items.
- On a homomorphism of a component Petri net (Q466005) (← links)
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- The synthesis problem for repeatedly communicating Petri games (Q2165240) (← links)
- (Q5875388) (← links)
