Petri nets and algebraic specifications (Q804305): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q56170366, #quickstatements; #temporary_batch_1706327624897 |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 11:06, 30 January 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Petri nets and algebraic specifications |
scientific article |
Statements
Petri nets and algebraic specifications (English)
0 references
1991
0 references
Petri nets with structured tokens are defined using the formalism of abstract data types. Ground terms thereby are used to represent the markings. This gives a new, and hopefully more adequate setting for what is known from other high-level Petri nets. Place and transition invariants can be calculated using term substitution. This work should be compared with those by Vautherin, Battistion et al., Genrich and Jensen, that are discussed in this work.
0 references
abstract data types
0 references
high-level Petri nets
0 references
