Selfgenerating sequences and different types of computational devices [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
topKršňáková, Jana. "Selfgenerating sequences and different types of computational devices [Abstract of thesis]." Commentationes Mathematicae Universitatis Carolinae 030.1 (1989): 201-201. <http://eudml.org/doc/17728>.
@article{Kršňáková1989,
author = {Kršňáková, Jana},
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 = {Selfgenerating sequences and different types of computational devices [Abstract of thesis]},
url = {http://eudml.org/doc/17728},
volume = {030},
year = {1989},
}
TY - JOUR
AU - Kršňáková, Jana
TI - Selfgenerating sequences and different types of computational devices [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/17728
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.