Pages that link to "Item:Q443729"
From MaRDI portal
The following pages link to Efficient unfolding of contextual Petri nets (Q443729):
Displaying 12 items.
- Star-topology decoupled state space search (Q1749386) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Contextual nets (Q1902298) (← links)
- ``Truly concurrent'' and nondeterministic semantics of discrete-time Petri nets (Q2216716) (← links)
- A calculus of concurrent graph-rewriting processes (Q2291821) (← links)
- Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
- Efficient Contextual Unfolding (Q3090840) (← links)
- Branching Processes of Timed Petri Nets (Q3179184) (← links)
- (Q5111631) (← links)
- Star-Topology Decoupling in SPIN (Q5883577) (← links)
- Methods for Efficient Unfolding of Colored Petri Nets (Q6070614) (← links)
- Concurrency in Boolean networks (Q6151158) (← links)