Pages that link to "Item:Q1091145"
From MaRDI portal
The following pages link to Petri nets, algebras, morphisms, and compositionality (Q1091145):
Displayed 23 items.
- An event structure semantics for general Petri nets (Q672871) (← links)
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- Petri nets and bisimulation (Q672873) (← links)
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- Refinement of actions in event structures and causal trees (Q688717) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Petri nets are monoids (Q922720) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Partial ordering models for concurrency can be defined operationally (Q1111013) (← links)
- An algebraic characterisation of elementary net system (observable) state space (Q1203118) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)
- Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- Trellis processes: a compact representation for runs of concurrent systems (Q2465670) (← links)
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
- A compositional proof system on a category of labelled transition systems (Q2640340) (← links)
- The structure of first-order causality (Q3081323) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Calculi of net structures and sets are similar (Q3515462) (← links)
- Grammar Morphisms and Weakly Adhesive Categories (Q3540427) (← links)