Foundations of Software Science and Computation Structures

DOI10.1007/11690634zbMATH Open1180.68185OpenAlexW2504714231MaRDI QIDQ5899084FDOQ5899084

Authors: Paolo Baldan, Stefan Haar, Barbara König 

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11690634

Recommendations

• Diagnosis with Petri net unfoldings
• Distributed diagnosis of discrete-event systems using Petri nets
• Modular construction of finite and complete prefixes of Petri net unfoldings
• Factorization properties of symbolic unfoldings of colored Petri nets
• Distributed monitoring of concurrent and asynchronous systems

Mathematics Subject Classification ID

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

Cited In (14)

• Unfolding-based diagnosis of systems with an evolving topology
• Trellis processes: a compact representation for runs of concurrent systems
• Unfolding-Based Diagnosis of Systems with an Evolving Topology
• Partial order techniques for distributed discrete event systems: why you cannot avoid using them
• On structural analysis of interacting behavioral Petri nets for distributed causal model-based diagnosis
• Factorization properties of symbolic unfoldings of colored Petri nets
• Branching processes of timed Petri nets
• Title not available (Why is that?)
• Diagnosis with Petri net unfoldings
• Modular construction of finite and complete prefixes of Petri net unfoldings
• Distributed monitoring of concurrent and asynchronous systems
• On Distributability of Petri Nets
• ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets
• Distributed computation of vector clocks in Petri net unfoldings for test selection

This page was built for publication: Foundations of Software Science and Computation Structures

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