Pokozy E. Behaviour analysis of parametric time Petri nets // Computer Science. — 1999. — # 11 — P. 59-75
Virbitskaite I., Pokozy E. Model checking of time Petri nets // Computer Science. — 1997. — # 7 — P. 85-93
