How Petri net theory serves Petri net model checking: a survey (Q2032911)
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: How Petri net theory serves Petri net model checking: a survey |
scientific article; zbMATH DE number 7358481
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | How Petri net theory serves Petri net model checking: a survey |
scientific article; zbMATH DE number 7358481 |
Statements
How Petri net theory serves Petri net model checking: a survey (English)
0 references
14 June 2021
0 references
model checking
0 references
state equation
0 references
Petri net invariant
0 references
siphons
0 references
traps
0 references
conflict cluster
0 references
