Decidability questions for some dynamic properties of Petri nets [Abstract of thesis]
Commentationes Mathematicae Universitatis Carolinae (1989)
- Volume: 030, Issue: 1, page 201-201
- ISSN: 0010-2628
Access Full Article
top
How to cite
topJančar, Petr. "Decidability questions for some dynamic properties of Petri nets [Abstract of thesis]." Commentationes Mathematicae Universitatis Carolinae 030.1 (1989): 201-201. <http://eudml.org/doc/17727>.
@article{Jančar1989,
author = {Jančar, Petr},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {the decidability; boundedness; (strongly) fair firing sequence; infinite weakly fair firing sequence},
language = {eng},
number = {1},
pages = {201-201},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Decidability questions for some dynamic properties of Petri nets [Abstract of thesis]},
url = {http://eudml.org/doc/17727},
volume = {030},
year = {1989},
}
TY - JOUR
AU - Jančar, Petr
TI - Decidability questions for some dynamic properties of Petri nets [Abstract of thesis]
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1989
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 030
IS - 1
SP - 201
EP - 201
LA - eng
KW - the decidability; boundedness; (strongly) fair firing sequence; infinite weakly fair firing sequence
UR - http://eudml.org/doc/17727
ER -
References
top- Carstensen H., Decidability questions for fairness in Petri nets, Proc. STACS'87, LNCS 247 Springer (1987). (1987) Zbl0629.68063MR0900469
- Howell R., Rosier L., Yen H., A taxonomy of fairness and temporal logic problems for Petri nets, Proc. MFCS'88, LNCS 324 Springer (1988). (1988) Zbl0655.68072MR1025820
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.