A modeling language for Petri net based factory automation systems

In this paper, we propose a modeling language for petri net based factory automation systems. We have proposed a methodology based on petri nets which we can do an unified design from modeling to actualizing and a Petri Net Controller (PNC) for processing the nets quickly. All objects are described by the petri nets for analyzing the whole of the system. The petri nets can be evaluated visually because of being able to represent the nets to the graph. But it is difficult to design a large system because the nets are complicated even in a small system. Therefore, the language for describing petri nets easily is needed. Then, we propose a petri net description language (PNDL), The PNDL consists of Upper and Lower Level language, The first is for modeling a system by connecting modules consisted of places and transitions. Its description can be directly treated on PNCs, The Second is for distinguishing states and controls of a system, and for describing concurrent processing by combining serial processing. Its source is compiled to first. As the result, programs described by the PNDL can be treated by PNCs, and we actualize the system easier and faster.