The following pages link to Punf (Q16592):
Displayed 9 items.
- Efficient unfolding of contextual Petri nets (Q443729) (← links)
- M-nets: a survey (Q1006339) (← links)
- Unfoldings: A partial-order approach to model checking. (Q2426635) (← links)
- Structure-based deadlock checking of asynchronous circuits (Q2637261) (← links)
- Verification of Petri Nets with Read Arcs (Q2912697) (← links)
- Efficient Contextual Unfolding (Q3090840) (← links)
- Decompositional Petri Net Reductions (Q3605479) (← links)
- Infinite Process Semantics of Inhibitor Nets (Q3618709) (← links)
- (Q5111631) (← links)