Petri nets and algebraic specifications (Q804305): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q56170366, #quickstatements; #temporary_batch_1706327624897 |
Created claim: DBLP publication ID (P1635): journals/tcs/Reisig91, #quickstatements; #temporary_batch_1731530891435 |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3821597 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Analysing a missile simulator with coloured Petri nets. / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Munich project CIP. Volume I: The wide spectrum language CIP-L / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3221381 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3670573 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: System modelling with high-level Petri nets / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Coloured Petri nets and the invariant-method / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3928257 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3670574 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3769974 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3762243 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3340170 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4207590 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Petri nets with individual tokens / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3933750 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4727439 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3771631 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4203799 / rank | |||
Normal rank | |||
| Property / DBLP publication ID | |||
| Property / DBLP publication ID: journals/tcs/Reisig91 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 21:55, 13 November 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
