Petri nets and algebraic specifications (Q804305): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 01:16, 5 March 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
