Previous |  Up |  Next

Article

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
.

Files

Files Size Format View
CommentatMathUnivCarol_030-1989-1_36.pdf 169.2Kb application/pdf View/Open
Back to standard record
Partner of
EuDML logo