Trellis processes: a compact representation for runs of concurrent systems

DOI10.1007/S10626-006-0001-0MaRDI QIDQ2465670zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

factorizationproductbranching processcategory theoryunfoldingdiagnosisPetri netconcurrent systemtrellistrue concurrency semantics

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 3905836 (Why is no real title available?)
• scientific article; zbMATH DE number 1361116 (Why is no real title available?)
• scientific article; zbMATH DE number 1756007 (Why is no real title available?)
• scientific article; zbMATH DE number 3892604 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A general architecture for decentralized supervisory control of discrete-event systems
• An improvement of McMillan's unfolding algorithm
• Branching processes of Petri nets
• CONCUR 2005 – Concurrency Theory
• Canonical prefixes of Petri net unfoldings
• Control of safe ordinary Petri nets using unfolding
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Diagnosability of discrete-event systems
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Diagnosis of large active systems
• Distributed diagnosis of discrete-event systems using Petri nets
• Distributed monitoring of concurrent and asynchronous systems
• Model checking using net unfoldings
• Petri nets with individual tokens
• Petri nets, algebras, morphisms, and compositionality
• Petri nets, event structures and domains. I

Cited in

(8)

• Flow unfolding of multi-clock nets
• 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

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)