Petri Nets is an emerging tool in industrial automation technology. They provide a uniform environment for modeling, analyzing, and designing event systems. The model used for the analysis of the behavioral properties of the system can be used for the construction of simulators and controllers.a. Finite State MachinesThese are the forms in which Petri nets could be represented. An example is that of a vending machine (figure below) that sells chocolate bars when 5 or 10 cents are entered. Circular representations are called places and rectangular boxes are transitions. In this figure, each transition has only one incoming and one outgoing arc. There are several ways a 20 cent bar can be released from the vending machine. One of the paths could be as follows: Enter 5 cents – 5 cents – 5 cents – 5 cents. In this route, each transition is triggered with a 5 cent coin and requires 4 power-up transitions before the candy bar is released from the machine. Fig 18: Representation of the state diagram of the Petri net automatic dispenser. Producer – Consumer Problem: A Petri net representation of the Producer – Consumer problem has been described below with reference to the diagram. In this system, the producer places information in the buffer, and the consumer collects and deletes information from the buffer. If the buffer is full, the producer will be in "sleep" mode until the consumer receives and deletes information from the buffer. Likewise, the consumer will be in “sleep” mode when the buffer is empty until the producer inserts some information into the buffer. In both cases a wake-up signal algorithm is set to ensure none of them go into "sleep" mode permanently. Fig 19: Petri net model of the producer and consumer problemc. T graph...... half of the paper ......een made in the analysis of software systems using colored Petri nets. According to G.Rozenberg[10], Colored Petri net is a useful language for the specification, design, simulation, analysis and verification of large software systems. V. Pinci and M. Shapiro[10] describe an integrated software development procedure based on hierarchical colored Petri nets, where the analysis is performed through automatic translation from SADT diagrams into colored Petri nets for formal analysis and then in executable code.g. Communication Systems: In communication networks, research has been conducted on fiber optic local area networks such as Fastnet, Expressnet, D-Net, U-Net and Token Ring as they are key networks for industrial automation. This leads to interest in modeling and testing high-speed networks, which is critical to the successful development of multimedia systems.