Causality in extensions of Petri nets

DOI10.1007/978-3-642-38143-0_6MaRDI QIDQ4924449zbMATH OpenOpenAlexFDO

Authors Maciej Koutny, Jetty Kleijn

Publication date 31 May 2013

Published in Transactions on Petri Nets and Other Models of Concurrency VII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-38143-0_6

zbMATH Keywords

activator arcscausality semanticselementary net systemsinhibitor arcsmutex arcsprocessessemantical frameworkstep sequences

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1927584
• Process semantics of general inhibitor nets
• Processes of Petri nets with range testing
• scientific article; zbMATH DE number 2060760
• Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity

Cited in

(17)

• A generic causal model for place latency.
• Semantics of inhibitor nets
• Petri nets with causal time for system verification
• Non-atomic transition firing in contextual nets
• On synchronicity and concurrency in Petri nets
• Verification of causal models using petri nets
• scientific article; zbMATH DE number 1263852 (Why is no real title available?)
• scientific article; zbMATH DE number 2060760 (Why is no real title available?)
• scientific article; zbMATH DE number 1927584 (Why is no real title available?)
• Mutex causality in processes and traces of general elementary nets
• Causal behaviours and nets
• Extensions of elementary cause-effect structures
• scientific article; zbMATH DE number 7141420 (Why is no real title available?)
• Processes of Petri nets with range testing
• Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity
• Causal semantics for Petri nets with contacts
• A coalgebraic semantics for causality in Petri nets

This page was built for publication: Causality in extensions of Petri nets

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