Some behavioural aspects of net theory
From MaRDI portal
Publication:913516
DOI10.1016/0304-3975(90)90193-LzbMath0699.68083MaRDI QIDQ913516
Publication date: 1990
Published in: Theoretical Computer Science (Search for Journal in Brave)
distributed systemsrepresentationscausalityconcurrencyconflictunfoldingstrace theoryelementary net systemslabelled event structuresbehavioural
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25) Theory of software (68N99)
Related Items
Cites Work
- A remark on the representation of trace monoids
- D-continuous causal nets: A model of non-sequential processes
- 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
- Modeling concurrency with partial orders
- Sequential and concurrent behaviour in Petri net theory
- A calculus of communicating systems
- Petri nets, event structures and domains. I
- System modelling with high-level Petri nets
- Event structures and trace monoids
- Parallel program schemata
- Marked directed graphs
- Synchronisationsgraphen
- A fresh look at free choice nets
- On the Equivalence of Asynchronous Control Structures
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
