Some behavioural aspects of net theory

DOI10.1016/0304-3975(90)90193-LzbMath0699.68083MaRDI QIDQ913516

P. S. Thiagarajan

Publication date: 1990

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

distributed systemsrepresentationscausalityconcurrencyconflictunfoldingstrace theoryelementary net systemslabelled event structuresbehavioural

Mathematics Subject Classification ID

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

Models and logics for true concurrency.

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