A. Niaouris

Tyne An Algebra of Timed-Arc Petri Nets

M. Koutny, A. Niaouris, 2005 .

Applying Petri Net Unfoldings for Verification of Mobile Systems

Maciej Koutny, Khomenko, A Niaouris, 2006 .

An Algebra of Petri Nets with Arc-Based Time Restrictions

Apostolos Niaouris, A. Niaouris, 2004, ICTAC.

An Algebra of Timed-Arc Petri Nets

A Niaouris, M Koutny, M. Koutny, 2005 .