The following pages link to Petri nets and bisimulation (Q672873):
Displaying 26 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)
- Error-correcting Petri nets (Q553909) (← links)
- Semantic domains of timed event structures (Q840017) (← links)
- Homology and bisimulation of asynchronous transition systems and Petri nets (Q892055) (← links)
- CTS systems and Petri nets (Q1085981) (← links)
- Petri nets, algebras, morphisms, and compositionality (Q1091145) (← links)
- Normal and sinkless Petri nets (Q1208921) (← 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)
- Petri nets and regular processes (Q1970202) (← links)
- Property-preserving transformations of elementary net systems based on morphisms (Q2163769) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- (Q3045262) (← links)
- Elasticity and Petri Nets (Q3599221) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- (Q3740251) (← links)
- (Q3820018) (← links)
- PETRI NETS AND STEP TRANSITION SYSTEMS (Q4032923) (← links)
- (Q4332926) (← links)
- (Q4461752) (← links)
- Simultaneous Petri Net Synthesis (Q4621223) (← links)
- Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
- Recursion and Petri nets (Q5950717) (← links)
