Pages that link to "Item:Q5712340"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2004 (Q5712340):
Displaying 5 items.
- Hierarchical reachability graph generation for Petri nets (Q1871862) (← links)
- A new approach to upward-closed set backward reachability analysis (Q2851062) (← links)
- Ten Years of Saturation: A Petri Net Perspective (Q2889608) (← links)
- Efficient computerized Petri net approach for the enumeration of the sets of path identifiers for reliability analysis of broadcasting networks (Q3479787) (← links)
- Hierarchical Set Decision Diagrams and Automatic Saturation (Q3510869) (← links)