Pages that link to "Item:Q1089322"
From MaRDI portal
The following pages link to Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986 (Q1089322):
Displaying 15 items.
- Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
- Partial (set) 2-structures. II: State spaces of concurrent systems (Q911308) (← links)
- Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986 (Q1089323) (← links)
- An algebraic characterisation of elementary net system (observable) state space (Q1203118) (← links)
- Net operations (Q1337645) (← links)
- A well-structured framework for analysing Petri net extensions (Q1763373) (← links)
- A compositional dataflow semantics for Petri nets (Q1902302) (← links)
- Normalization of place/transition-systems preserves net behaviour (Q3991291) (← links)
- (Q4222788) (← links)
- Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture (Q4362279) (← links)
- (Q4553276) (← links)
- On occurrence net semantics for petri nets with contacts (Q5055945) (← links)
- Dataflow semantics for Petri nets (Q5096839) (← links)
- A fully abstract semantics for termination in Petri nets (Q5096896) (← links)
- Models and logics for true concurrency. (Q5955751) (← links)