Toggle Main Menu Toggle Search

Open Access padlockePrints

A Compositional Model of Time Petri Nets

Lookup NU author(s): Professor Maciej KoutnyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


This paper presents two related algebras which can be used to specify and analyse concurrent systems with explicit timing information. The first algebra is based on process expressions, called t-expressions, and a system of SOS rules providing their operational semantics. The second algebra is based on a class of time Petri nets, called ct-boxes, and their transition firing rule. The two algebras are related through a mapping which, for a t-expression, returns a corresponding ct-box with behaviourally equivalent transition system. The resulting model, called the Time Petri Box Calculus (tPBC), extends the existing approach of the Petri Box Calculus (PBC).

Publication metadata

Author(s): Koutny M

Editor(s): Nielsen, M., Simpson, D.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000

Year of Conference: 2000

Pages: 303-322

ISSN: 9783540676935

Publisher: Springer-Verlag


DOI: 10.1007/3-540-44988-4

Series Title: Lecture Notes in Computer Science