Verification of causal models using petri nets

DOI10.1002/INT.4550070803zbMATH Open0794.68152OpenAlexW2061805969MaRDI QIDQ4034400FDOQ4034400

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

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

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

Cited In (8)

• Title not available (Why is that?)
• 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.
• Title not available (Why is that?)
• 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)