How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
From MaRDI portal
Publication:3011884
DOI10.1007/978-3-642-21834-7_7zbMath1330.68214OpenAlexW1880139683MaRDI QIDQ3011884
Publication date: 29 June 2011
Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21834-7_7
Related Items
Skeleton Abstraction for Universal Temporal Properties ⋮ Unnamed Item ⋮ Spreading nets: a uniform approach to unfoldings ⋮ Flow Unfolding of Multi-clock Nets ⋮ A Petri net view of covalent bonds ⋮ Skeleton abstraction for universal temporal properties
Cites Work
- Unnamed Item
- Unnamed Item
- An event structure semantics for general Petri nets
- Merged processes: a new condensed representation of Petri net behaviour
- Executability of scenarios in Petri nets
- Branching processes of Petri nets
- Causal automata
- Contextual Petri nets, asymmetric event structures, and processes
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- Trellis processes: a compact representation for runs of concurrent systems
- CONCUR 2005 – Concurrency Theory