High-level Petri nets for the process description and control in service-oriented manufacturing systems
نویسندگان
چکیده
High-level Petri nets for the process description and control in service-oriented manufacturing systems J. Marco Mendes a , Paulo Leitão b c , Armando W. Colombo d e & Francisco Restivo a c a Faculty of Engineering of University of Porto, Porto, Portugal b Department of Electrical Engineering, Politechnic Institute of Braganca, Braganca, Portugal c LIACC Artificial Intelligence and Computer Science Laboratory, Porto, Portugal d Schneider Electric Automation GmbH, Seligenstadt, Germany e University of Applied Sciences Emden/Leer, Emden, Germany
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملSolving Myopia in Real-time Decision-making using Petri nets Models’ Knowledge for Service-oriented Manufacturing Systems
This paper introduces a novel approach to the real-time decision-making in service-oriented manufacturing systems, addressing the myopia problem usually presented in such systems. The proposed decision method considers the knowledge extracted from the Petri nets models used to describe the services process behavior, mainly the T-invariants, combined with a multi-criteria function customized acc...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کامل