• DML-CZ Home
• Commentationes Mathematicae Universitatis Carolinae

Author: Jančar, Petr

• Jančar, Petr: Decidability questions for some dynamic properties of Petri nets [Abstract of thesis]. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 201