Petri nets are monoids (Q922720): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (5 intermediate revisions by 4 users not shown) | |||
| Property / reviewed by | |||
| Property / reviewed by: Ryszard Janicki / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Ryszard Janicki / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0890-5401(90)90013-8 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2027622095 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The basic algebraic structures in categories of derivations / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Sequential and concurrent behaviour in Petri net theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Concurrency and atomicity / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A distributed operational semantics of CCS based on condition/event systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3210197 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3677155 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Concurrent histories: a basis for observing distributed systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Adjoint functors and triples / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3780426 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The non-sequential behaviour of Petri nets / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Unification in abelian semigroups / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5682456 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5596835 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Closed categories generated by commutative monads / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5676377 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3829701 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5523691 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5639839 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5534234 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Functional behavior of nondeterministic and concurrent programs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4123496 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4065458 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3750114 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Calculi for synchrony and asynchrony / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3776645 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Mathematical aspects of net theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3219122 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3771632 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An algebraic description of system behaviours / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3683531 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Petri nets, algebras, morphisms, and compositionality / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 11:57, 21 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Petri nets are monoids |
scientific article |
Statements
Petri nets are monoids (English)
0 references
1990
0 references
A new definition of place/transition Petri nets as graphs with the operation of parallel and sequential composition on the transitions is given. New morphisms, relating system description at different level of abstractions, and new constructions, like function space for Petri nets, are defined. Categories equipped with products and coproducts are introduced for Petri nets. A tensor product is also defined on nets, and net category is proved to be symmetric monoidal closed.
0 references
Petri nets
0 references
net category
0 references
