Trellis processes: a compact representation for runs of concurrent systems
DOI10.1007/S10626-006-0001-0zbMATH Open1128.93367OpenAlexW1977395451MaRDI QIDQ2465670FDOQ2465670
Authors: Eric Fabre 
Publication date: 7 January 2008
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00070452/file/RR-5554.pdf
Recommendations
- Diagnosis with Petri net unfoldings
- Foundations of Software Science and Computation Structures
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them
- Distributed monitoring of concurrent and asynchronous systems
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
factorizationproductbranching processcategory theoryunfoldingdiagnosisPetri netconcurrent systemtrellistrue concurrency semantics
Large-scale systems (93A15) Canonical structure (93B10) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Petri nets with individual tokens
- Petri nets, event structures and domains. I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Branching processes of Petri nets
- Diagnosability of discrete-event systems
- Distributed monitoring of concurrent and asynchronous systems
- A general architecture for decentralized supervisory control of discrete-event systems
- An improvement of McMillan's unfolding algorithm
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Distributed diagnosis of discrete-event systems using Petri nets
- Canonical prefixes of Petri net unfoldings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Diagnosis of large active systems
- Model checking using net unfoldings
- Petri nets, algebras, morphisms, and compositionality
- Title not available (Why is that?)
- Control of safe ordinary Petri nets using unfolding
- CONCUR 2005 – Concurrency Theory
- Title not available (Why is that?)
Cited In (8)
- Spreading nets: a uniform approach to unfoldings
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
- On the properties of a tree-structured server process
- Merging relations: a way to compact Petri nets' behaviors uniformly
- Untanglings: a novel approach to analyzing concurrent systems
- Model checking reversible systems: forwardly
- A new operational representation of dependencies in event structures
- Flow unfolding of multi-clock nets
This page was built for publication: Trellis processes: a compact representation for runs of concurrent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2465670)
