Pages that link to "Item:Q403021"
From MaRDI portal
The following pages link to Recent advances in unfolding technique (Q403021):
Displaying 6 items.
- Star-topology decoupled state space search (Q1749386) (← links)
- Deadlock detection-oriented unfolding of unbounded Petri nets (Q2215072) (← links)
- ``Truly concurrent'' and nondeterministic semantics of discrete-time Petri nets (Q2216716) (← links)
- Model checking Petri nets with MSVL (Q2279737) (← links)
- Branching Processes of Timed Petri Nets (Q3179184) (← links)
- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems (Q3297600) (← links)
