Pages that link to "Item:Q892055"
From MaRDI portal
The following pages link to Homology and bisimulation of asynchronous transition systems and Petri nets (Q892055):
Displaying 4 items.
- The homology of partial monoid actions and Petri nets (Q395664) (← links)
- Homology groups of asynchronous systems, Petri nets, and trace languages (Q890902) (← links)
- Homothecy, bifurcations, continuity and monotonicity in timed continuous Petri nets under infinite server semantics (Q1680810) (← links)
- On the homology of small categories and asynchronous transition systems (Q1770310) (← links)