Verification of causal models using petri nets

DOI10.1002/INT.4550070803MaRDI QIDQ4034400zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Petri nets with causal time for system verification
• Causality in extensions of Petri nets
• Synthesis and Analysis of Petri Nets from Causal Specifications
• On causal semantics of Petri nets (extended abstract)
• Finite Petri nets as models for recursive causal behaviour
• Causal semantics for Petri nets with contacts
• scientific article; zbMATH DE number 1751904
• Verification of C-detectability using Petri nets
• A causal semantic for time Petri nets

Cites work

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

Cited in

(8)

• scientific article; zbMATH DE number 1497792 (Why is no real title available?)
• On structural analysis of interacting behavioral Petri nets for distributed causal model-based diagnosis
• The Causal Graph Revisited for Directed Model Checking
• Verifying an acyclic rule-based system by Petri nets
• ML-TIPN: an algorithm for automated acquisition of domain models based on time interval Petri nets
• Casual models of historical processes.
• scientific article; zbMATH DE number 1782375 (Why is no real title available?)
• Petri nets with causal time for system verification

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

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