Recommendations
Cites work
- An axiomatization of the algebra of Petri net concatenable processes
- An axiomatization of the category of Petri net computations
- An event structure semantics for general Petri nets
- Axiomatizing the algebra of net computations and processes
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- scientific article; zbMATH DE number 4008627 (Why is no real title available?)
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- scientific article; zbMATH DE number 1189279 (Why is no real title available?)
- scientific article; zbMATH DE number 3510514 (Why is no real title available?)
- scientific article; zbMATH DE number 1302631 (Why is no real title available?)
- scientific article; zbMATH DE number 1101602 (Why is no real title available?)
- scientific article; zbMATH DE number 1497817 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 4119639 (Why is no real title available?)
- scientific article; zbMATH DE number 1405645 (Why is no real title available?)
- scientific article; zbMATH DE number 3251427 (Why is no real title available?)
- scientific article; zbMATH DE number 3335055 (Why is no real title available?)
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- PETRI NETS AND STEP TRANSITION SYSTEMS
- Petri nets are monoids
- Petri nets, algebras, morphisms, and compositionality
- Petri nets, event structures and domains. I
- Process versus unfolding semantics for Place/Transition Petri nets
- Sequential and concurrent behaviour in Petri net theory
- Some algebraic problems in the context of functorial semantics of algebraic theories
- Specification and proof in membership equational logic
- The basic algebraic structures in categories of derivations
- The non-sequential behaviour of Petri nets
Cited in
(27)- An algebraic semantics for structured transition systems and its application to logic programs
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
- Bayesian network semantics for Petri nets
- scientific article; zbMATH DE number 1670822 (Why is no real title available?)
- scientific article; zbMATH DE number 1701348 (Why is no real title available?)
- A normal form for stateful connectors
- Executions in (semi-)integer Petri nets are compact closed categories
- Petri nets based on Lawvere theories
- Ugo Montanari and Concurrency Theory
- Models of Computation: A Tribute to Ugo Montanari’s Vision
- scientific article; zbMATH DE number 1236364 (Why is no real title available?)
- scientific article; zbMATH DE number 1302631 (Why is no real title available?)
- scientific article; zbMATH DE number 1973124 (Why is no real title available?)
- scientific article; zbMATH DE number 1497817 (Why is no real title available?)
- scientific article; zbMATH DE number 1860660 (Why is no real title available?)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
- GETGRATS: a summary of scientific results (with annotated bibliography)
- Open Petri nets
- A compositional framework for reaction networks
- Pre-nets, read ARCS and unfolding: A functorial presentation.
- A categorical semantics for bounded Petri nets
- Whole-grain Petri nets and processes
- A categorical semantics for hierarchical Petri nets
- Categories of nets
- Dialectica Petri nets
- The univalence principle
- A framework for the verification of infinite-state graph transformation systems
This page was built for publication: Functorial models for Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854467)
