In: Proc. 16th IASTED Int. Conf. on Applied Informatics, 23-25 February 1998, Anaheim, CA, pages 17-20. 1998.
Abstract: This paper presents and discusses an industrial production system model based on colored Petri nets. The model was developed in order to analyze the agent's behavior in a distributed multi-agent system oriented to the simulation of the management and control of a specific hard-metal production system plant. This effort helps to create the basis for a more robust system with means to resist better against possible conflict, contention or deadlock situation among the system's agents. Colored Petri nets were chosen essentially due to their ability to describe explicitly the system states and actions, and for having a semantic which builds upon true concurrency.
Keywords: colored Petri nets, industrial production systems, multi-agent systems, true concurrency.