scientific article; zbMATH DE number 7471676
From MaRDI portal
Publication:5028437
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/2012.00118
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the nature of events: another perspective in concurrency
- Configuration structures, event structures and Petri nets
- Merged processes: a new condensed representation of Petri net behaviour
- Reversibility and asymmetric conflict in event structures
- Petri nets, event structures and domains. I
- Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings
- Contextual Petri nets, asymmetric event structures, and processes
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- Contextual nets
- Spreading nets: a uniform approach to unfoldings
- Trellis processes: a compact representation for runs of concurrent systems
- Semantics of inhibitor nets
- Dynamic Causality in Event Structures
- Lending Petri Nets and Contracts
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
- The non-sequential behaviour of Petri nets
- Understanding Petri Nets
- Flow Unfolding of Multi-clock Nets
- Mathematical Foundations of Computer Science 2004
- Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly
This page was built for publication: