| Title:
|
Decidability questions for some dynamic properties of Petri nets [Abstract of thesis] (English) |
| Author:
|
Jančar, Petr |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
30 |
| Issue:
|
1 |
| Year:
|
1989 |
| Pages:
|
201 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03D60 |
| MSC:
|
68Q85 |
| idZBL:
|
Zbl 0682.68076 |
| . |
| Date available:
|
2008-06-05T21:38:00Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/106733 |
| . |
| Reference:
|
[1] Carstensen H.: Decidability questions for fairness in Petri nets.Proc. STACS'87, LNCS 247 Springer (1987). Zbl 0629.68063, MR 0900469 |
| Reference:
|
[2] Howell R., Rosier L., Yen H.: A taxonomy of fairness and temporal logic problems for Petri nets.Proc. MFCS'88, LNCS 324 Springer (1988). Zbl 0655.68072, MR 1025820 |
| . |
