A Partial Order Method for the Verification of Time Petri Nets. - Irina B. Virbitskaite; E. Pokozy (FCT, 1999)

Parametric Behaviour Analysis for Time Petri Nets. - Irina B. Virbitskaite; E. Pokozy (PaCT, 1999)