Verification of causal models using petri nets

DOI10.1002/int.4550070803zbMath0794.68152OpenAlexW2061805969MaRDI QIDQ4034400

Luigi Portinale

Publication date: 16 May 1993

Published in: International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/int.4550070803

zbMATH Keywords

Petri netslogical formalisms

Mathematics Subject Classification ID

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

Cites Work

• Petri nets, event structures and domains. I
• Computation sequence sets

This page was built for publication: Verification of causal models using petri nets