Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5899084
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
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)