A taxonomy of fairness and temporal logic problems for Petri nets (Q805257)
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: A taxonomy of fairness and temporal logic problems for Petri nets |
scientific article; zbMATH DE number 4203744
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A taxonomy of fairness and temporal logic problems for Petri nets |
scientific article; zbMATH DE number 4203744 |
Statements
A taxonomy of fairness and temporal logic problems for Petri nets (English)
0 references
1991
0 references
A temporal logic for reasoning about Petri nets is defined, extending the ideas from \textit{R. R. Howell} and \textit{L. E. Rosier} [Theor. Comput. Sci. 64, No.3, 305-329 (1989; Zbl 0673.68040)]. The paper is also strongly related to the ideas from \textit{R. R. Howell}, \textit{L. E. Rosier} and \textit{Hsu-Chun Yen} [Theor. Comput. Sci. 80, No.1, 77-104 (1991; to appear)]. It is shown that the model checking problem for the temporal logic for reasoning about Petri nets is PTIME-equivalent to the Petri net reachability problem.
0 references
fairness
0 references
temporal logic
0 references
Petri nets
0 references
model checking
0 references
0 references
0 references
