Pages that link to "Item:Q5100747"
From MaRDI portal
The following pages link to Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account (Q5100747):
Displaying 5 items.
- Accelerating the computation of dead and concurrent places using reductions (Q832013) (← links)
- On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (Q2117166) (← links)
- Efficient algorithms for three reachability problems in safe Petri nets (Q2117182) (← links)
- Decomposing monolithic processes in a process algebra with multi-actions (Q2693301) (← links)
- Decomposing monolithic processes in a process algebra with multi-actions (Q6649542) (← links)