Pages that link to "Item:Q3419786"
From MaRDI portal
The following pages link to Transition systems, link graphs and Petri nets (Q3419786):
Displaying 15 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 (extended abstract) (Q2866344) (← links)
- Matching of bigraphs (Q2867883) (← links)
- Bigraphs and their algebra (Q2870188) (← links)
- DBtk: A Toolkit for Directed Bigraphs (Q2888502) (← links)
- PETRI NETS AND STEP TRANSITION SYSTEMS (Q4032923) (← links)
- (Q4247286) (← links)
- (Q4737569) (← links)
- Kind Bigraphs (Q4982073) (← links)
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)
- (Q5114821) (← links)
- Directed Bigraphs (Q5262934) (← links)
- Analysis and application of transition systems based on Petri nets and relation matrices to business process management (Q6534515) (← links)