Pages that link to "Item:Q1391745"
From MaRDI portal
The following pages link to On reachability equivalence for BPP-nets (Q1391745):
Displaying 5 items.
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Context-free commutative grammars with integer counters and resets (Q2636518) (← links)
- Flatness and Complexity of Immediate Observation Petri Nets (Q5089312) (← links)
- A Study on Team Bisimulations for BPP Nets (Q5100755) (← links)
- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application (Q5166771) (← links)