ABSTRACT
As pointed out in Jensen (1986), in modeling by regular Petri net (PN), it is often necessary to have several identical subsets. This is because a folding into a single subnet would destroy the possibility of distinguishing different processes. Thus, the size of PN becomes large in modeling those practical systems. To overcome this problem, colors are introduced into the regular PN, and the regular PN is extended into colored PN (CPN) (Jensen, 1981, 1986; Viswanadham and Narahari, 1987). A CPN is compact, and the mathematical theory for it is well developed. Thus, it is widely used in modeling, analysis, simulation, and control. This chapter introduces CPN and some CPN analysis methods.
