Timed colored Petri Net generating Arrays

Abstract

Motivated by Interval Timed Colored Petri Net and two dimensional Array generating Petri nets, this paper defines an Array Generating Timed Colored Petri Net. In this paper time has been associated with the tokens of the net. Time associated with tokens will delay its availability as a resource. The introduction of time as an attribute of the token has an additional control over the firing sequence of the net. The focus of this paper is on the array language generated by such timed colored Petri net model.