Pages that link to "Item:Q3419786"
From MaRDI portal
The following pages link to Transition systems, link graphs and Petri nets (Q3419786):
Displayed 10 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- An inductive characterization of matching in binding bigraphs (Q1941899) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Local Bigraphs and Confluence: Two Conjectures (Q2866344) (← links)
- Matching of Bigraphs (Q2867883) (← links)
- Bigraphs and Their Algebra (Q2870188) (← links)
- DBtk: A Toolkit for Directed Bigraphs (Q2888502) (← links)
- Kind Bigraphs (Q4982073) (← links)
- (Q5114821) (← links)
- Directed Bigraphs (Q5262934) (← links)