Whole-grain Petri nets and processes
From MaRDI portal
Publication:6567261
Recommendations
Cites work
- scientific article; zbMATH DE number 1686998 (Why is no real title available?)
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- scientific article; zbMATH DE number 3988722 (Why is no real title available?)
- scientific article; zbMATH DE number 193318 (Why is no real title available?)
- scientific article; zbMATH DE number 3557247 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (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 2134913 (Why is no real title available?)
- scientific article; zbMATH DE number 206022 (Why is no real title available?)
- scientific article; zbMATH DE number 3892604 (Why is no real title available?)
- scientific article; zbMATH DE number 3362972 (Why is no real title available?)
- A Survey of (∞, 1)-Categories
- A completeness theorem for open maps
- A compositional framework for reaction networks
- An axiomatization of the category of Petri net computations
- Axiomatizing the algebra of net computations and processes
- Being Van Kampen is a universal property
- Bisimulation from open maps
- Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics
- CONCUR 2005 – Concurrency Theory
- Categorical Data Structures for Technical Computing
- Codescent objects and coherence
- Compositional semantics for open Petri nets based on deterministic processes
- Configuration structures, event structures and Petri nets
- Cospan construction of the graph category of Borisov and Manin
- Decomposition spaces and restriction species
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
- Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
- Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)
- Functional equations for data structures
- Functorial models for Petri nets
- Graphs, hypergraphs, and properads
- Homotopy linear algebra
- Homotopy theory for algebras over polynomial monads
- Internal algebra classifiers as codescent objects of crossed internal categories
- Julia: a fresh approach to numerical computing
- Mathematical Foundations of Computer Science 2004
- On the semantics of place/transition Petri nets
- Open Petri nets
- Petri nets are monoids
- Petri nets based on Lawvere theories
- Petri nets, algebras, morphisms, and compositionality
- Petri nets, event structures and domains. I
- Polynomial functors and polynomial monads
- Polynomial functors and trees
- Pre-nets, read ARCS and unfolding: A functorial presentation.
- Process versus unfolding semantics for Place/Transition Petri nets
- Sequential and concurrent behaviour in Petri net theory
- Structured cospans
- Symmetry in Petri nets
- The equality problem for vector addition systems is undecidable
- The geometry of tensor calculus. I
- The non-sequential behaviour of Petri nets
- The unfolding of general Petri nets
- Une théorie combinatoire des séries formelles
- Zero-safe nets: Comparing the collective and individual token approaches.
- ∞-Operads as Analytic Monads
This page was built for publication: Whole-grain Petri nets and processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6567261)
