The following pages link to Petri nets and bisimulation (Q672873):
Displaying 10 items.
- The homology of partial monoid actions and Petri nets (Q395664) (← links)
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Petri nets, algebras, morphisms, and compositionality (Q1091145) (← links)
- Synchronization expressions with extended join operation (Q1274985) (← links)
- Presheaf models for CCS-like languages (Q1399958) (← links)
- Undecidability of domino games and hhp-bisimilarity. (Q1401953) (← links)
- Towards a unified view of bisimulation: A comparative study (Q1575240) (← links)
- Property-preserving transformations of elementary net systems based on morphisms (Q2163769) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
