Performance evaluation using timed coloured Petri nets

Zuberek, W. M. (1990) Performance evaluation using timed coloured Petri nets. In: 33rd Midwest Symposium on Circuits and Systems, 12-14 Aug. 1990, Calgary, AB, Canada.

[img] [English] PDF - Accepted Version
Available under License Creative Commons Attribution Non-commercial.

Download (156kB)


Colored Petri nets are Petri nets in which attributes are associated with individual tokens. These attributes are called colors. The set of colors is finite. Colors can be modified during transition firings, and the same transition can perform different transformations for tokens of different colors. Colors can thus distinguish tokens, and this allows one to fold similar subnets of a net into a single subnet, reducing the model complexity. In timed colored nets. the transitions fire in real-time, i.e., there is a firing-time associated with each color and each transition of a net. A state description of timed nets is proposed which represents the behavior of a timed colored net by a probabilistic state graph. Performance analysis of timed colored nets is based on stationary probabilities of states

Item Type: Conference or Workshop Item (Paper)
Item ID: 14829
Department(s): Science, Faculty of > Computer Science
Date: August 1990
Date Type: Completion
Digital Object Identifier (DOI):
Related URLs:

Actions (login required)

View Item View Item


Downloads per month over the past year

View more statistics