Toggle Main Menu Toggle Search

Open Access padlockePrints

An Algebra of Timed-Arc Petri Nets

Lookup NU author(s): Dr Apostolos Niaouris, Professor Maciej KoutnyORCiD



In this paper we present and investigate two algebras, one based on term re-writing and the other on Petri nets, aimed at the specification and analysis of concurrent systems with timing information. The former is based on process expressions(at-expressions) and employs a set of SOS rules providing their operational semantics. The latter is based on a class of Petri nets with time restrictions associated with their arcs, called at-boxes, and the corresponding transition firing rule. We relate the two algebras through a compositionally defined mapping which for a given at-expression returns an at-box with behaviourally equivalent transition system. The resulting model, called the Arc Time Petri Box Calculus (atPBC), extends the existing approach of the Petri Box Calculus (PBC).

Publication metadata

Author(s): Niaouris A, Koutny M

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2005

Pages: 61

Print publication date: 01/03/2005

Source Publication Date: March 2005

Report Number: 895

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne