Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen (Q3991306)
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: Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen |
scientific article; zbMATH DE number 36758
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen |
scientific article; zbMATH DE number 36758 |
Statements
Spezifikation von Mechanismen zur Ausnahmebehandlung mit Petri-Netzen (English)
0 references
28 June 1992
0 references
high level Petri nets
0 references
predicate/transition nets
0 references
exception handling
0 references
reliability
0 references
specification language
0 references
0 references