Logical Reasoning and Petri Nets

DOI10.1007/3-540-44919-1_19zbMath1274.03014MaRDI QIDQ3550620

Kurt Lautenbach

Publication date: 31 March 2010

Published in: Applications and Theory of Petri Nets 2003 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-44919-1_19

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

03B05: Classical propositional logic

Related Items

Propagation Nets, Inference approach based on Petri nets