Analyzing Reachability for Some Petri Nets With Fast Growing Markings (Q4982096)
From MaRDI portal
scientific article; zbMATH DE number 6418605
Language | Label | Description | Also known as |
---|---|---|---|
English | Analyzing Reachability for Some Petri Nets With Fast Growing Markings |
scientific article; zbMATH DE number 6418605 |
Statements
Analyzing Reachability for Some Petri Nets With Fast Growing Markings (English)
0 references
23 March 2015
0 references
Petri net
0 references
reachability problem
0 references
T-invariant-less net
0 references
partially bounded net
0 references
0 references