Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
From MaRDI portal
Publication:1713413
DOI10.1007/s00236-018-0314-0zbMath1417.68114OpenAlexW2787060132MaRDI QIDQ1713413
Publication date: 25 January 2019
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-018-0314-0
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Petri nets are monoids
- Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
- Petri nets, event structures and domains. I
- Branching processes of Petri nets
- Normal forms for algebras of connections.
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
- Functorial models for Petri nets
- Axiomatizing the algebra of net computations and processes
- An algebraic presentation of term graphs, via gs-monoidal categories
- Process algebras for Petri nets. The alphabetization of distributed systems
- Unfoldings: A partial-order approach to model checking.
- On the category of props
- Full Abstraction for Signal Flow Graphs
- From Reversible to Irreversible Computations
- A Survey of Graphical Languages for Monoidal Categories
- The construction of $E_{\infty}$ ring spaces from bipermutative categories
- The non-sequential behaviour of Petri nets
- Asynchronous Traces and Open Petri Nets
- The Space and Motion of Communicating Agents
- FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
- An axiomatization of the category of Petri net computations
- Reaction and control I. Mixing additive and multiplicative network algebras
- Rewriting modulo symmetric monoidal structure
- Traced monoidal categories
- Petri Nets Are Dioids
- Recent Trends in Algebraic Development Techniques