The following pages link to Directed Unfolding of Petri Nets (Q3599218):
Displaying 9 items.
- Recent advances in unfolding technique (Q403021) (← links)
- Star-topology decoupled state space search (Q1749386) (← links)
- A lazy query scheme for reachability analysis in Petri nets (Q2117184) (← links)
- Deadlock detection-oriented unfolding of unbounded Petri nets (Q2215072) (← links)
- ``Truly concurrent'' and nondeterministic semantics of discrete-time Petri nets (Q2216716) (← links)
- Branching Processes of Timed Petri Nets (Q3179184) (← links)
- (Q5111631) (← links)
- Effective optimization with weighted automata on decomposable trees (Q5413875) (← links)
- Fast and accurate data-driven goal recognition using process mining techniques (Q6080644) (← links)
