Arc-typed Petri Nets

DOI10.1007/3-540-61363-3_16zbMath1418.68147OpenAlexW1594121150MaRDI QIDQ4633168

Rolf Walter, Ekkart Kindler

Publication date: 2 May 2019

Published in: Application and Theory of Petri Nets 1996 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61363-3_16

zbMATH Keywords

verificationcausalityspecificationpartial-order semanticsprocessarc-typed netconsistency protocol

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) 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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parallel computer architectures. Theory, hardware, software, applications
• Petri nets and algebraic specifications
• Causal automata
• The non-sequential behaviour of Petri nets
• Time, clocks, and the ordering of events in a distributed system
• Causal behaviours and nets

This page was built for publication: Arc-typed Petri Nets