Pages that link to "Item:Q5712328"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2004 (Q5712328):
Displaying 10 items.
- Petri nets properties related to the unboundness and analyzed using coverability multigraph (Q275588) (← links)
- Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
- Correction to: ``Synchronizing sequences on a class of unbounded systems using synchronized Petri nets'' (Q2177774) (← links)
- Deadlock detection-oriented unfolding of unbounded Petri nets (Q2215072) (← links)
- Incremental construction of coverability graphs (Q2379973) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
- (Q4535793) (← links)
- Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters (Q5179054) (← links)
- Taking complete finite prefixes to high level, symbolically (Q6535189) (← links)
- Taking complete finite prefixes to high level, symbolically (Q6622143) (← links)