Causal behaviours and nets

DOI10.1007/3-540-60029-9_44zbMATH Open1496.68231OpenAlexW2118303749MaRDI QIDQ5096367FDOQ5096367

Authors: Joost-Pieter Katoen 

Publication date: 16 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/causal-behaviours-and-nets(5f76172c-cc3d-4538-9b16-ae56cef7a8cc).html

Recommendations

• Causality in extensions of Petri nets
• Synthesis and Analysis of Petri Nets from Causal Specifications
• scientific article; zbMATH DE number 2060760
• scientific article; zbMATH DE number 4070337
• Causal semantics for Petri nets with contacts

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Coloured Petri nets and the invariant-method
• Title not available (Why is that?)
• Title not available (Why is that?)
• Time, clocks, and the ordering of events in a distributed system
• Process Algebra
• Detecting causal relationships in distributed computations: In search of the holy grail
• Title not available (Why is that?)
• Sequential and concurrent behaviour in Petri net theory
• Title not available (Why is that?)
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• A formal semantics for concurrent systems with a priority relation
• Causal automata
• Title not available (Why is that?)
• On the nature of events
• Title not available (Why is that?)
• Algebraic specification and verification of communication protocols
• Title not available (Why is that?)
• On the specification of elementary reactive behaviour

Cited In (6)

• Behavioural conflicts in a causal specification
• Arc-typed Petri Nets
• Formal Reasoning About Causality Analysis
• Causal Relay Networks
• Some behavioural aspects of net theory
• Causality as a theoretical concept: explanatory warrant and empirical content of the theory of causal nets

This page was built for publication: Causal behaviours and nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096367)