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 13 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)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)
- (Q5875388) (← links)
