Decidability questions for some dynamic properties of Petri nets [Abstract of thesis]
Jančar, Petr
Commentationes Mathematicae Universitatis Carolinae, Tome 030 (1989), p. 201 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1989-01-01
Classification:  03D60,  68Q85 
@article{106733,
     author = {Petr Jan\v car},
     title = {Decidability questions for some dynamic properties of Petri nets [Abstract of thesis]},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {030},
     year = {1989},
     pages = {201-201},
     zbl = {0682.68076},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106733}
}

Jančar, Petr. Decidability questions for some dynamic properties of Petri nets [Abstract of thesis]. Commentationes Mathematicae Universitatis Carolinae, Tome 030 (1989) p. 201. http://gdmltest.u-ga.fr/item/106733/

Carstensen H. Decidability questions for fairness in Petri nets, Proc. STACS'87, LNCS 247 Springer (1987). (1987) | MR 0900469 | Zbl 0629.68063

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) | MR 1025820 | Zbl 0655.68072