Pages that link to "Item:Q5096741"
From MaRDI portal
The following pages link to On the category of Petri net computations (Q5096741):
Displaying 12 items.
- An axiomatization of the algebra of Petri net concatenable processes (Q672052) (← links)
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- Associative composition of components with double-sided interfaces (Q1733102) (← links)
- Relaxed models for rewriting logic (Q1853590) (← links)
- Nets with mana: a framework for chemical reaction modelling (Q2117265) (← links)
- Executions in (Semi-)Integer Petri Nets are Compact Closed Categories (Q3385632) (← links)
- Petri nets based on Lawvere theories (Q3386752) (← links)
- (Q4507812) (← links)
- (Q5019311) (← links)
- A Categorical Semantics for Guarded Petri Nets (Q5100726) (← links)
- A compositional framework for reaction networks (Q5370837) (← links)
- A categorical semantics for hierarchical Petri nets (Q6649536) (← links)