Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Apostolos Niaouris.

Newcastle AuthorsTitleYearFull text
Dr Victor Khomenko
Professor Maciej Koutny
Dr Apostolos Niaouris
Applying Petri Net Unfoldings for Verification of Mobile Systems2006
Dr Victor Khomenko
Professor Maciej Koutny
Dr Apostolos Niaouris
Applying Petri Net Unfoldings for Verification of Mobile Systems2006
Dr Apostolos Niaouris
[PhD THesis] An algebra of Petri nets with arc-based timing restrictions2005
Dr Apostolos Niaouris
An algebra of Petri nets with arc-based time restrictions2005
Dr Apostolos Niaouris
An algebra of Petri nets with arc-based time restrictions2005
Dr Apostolos Niaouris
Professor Maciej Koutny
An Algebra of Timed-Arc Petri Nets2005