Petri nets and algebraic specifications (Q804305)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Petri nets and algebraic specifications |
scientific article; zbMATH DE number 4201655
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Petri nets and algebraic specifications |
scientific article; zbMATH DE number 4201655 |
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
0.9578028
0 references
0.9470198
0 references
