Petri net approaches for modeling, controlling, and validating flexible manufacturing systems

In this dissertation, we introduce the fundamental ideas and constructs of Petri net models such as ordinary, timed, colored, stochastic, control, and neural, and present some studies that emphasize Petri nets theories and applications as extended research fields that provide suitable platforms in modeling, controlling, validating, and evaluating concurrent systems, information systems, and a versatile dynamic system and manufacturing systems;We then suggest some of extensions that help make Petri nets useful for modeling and analyzing discrete event systems and manufacturing systems models based on the context of a versatile manufacturing system, and applies extended Petri nets models to several manufacturing systems such as an assembly cell, an Automated Palletized Conveyor System, and a tooling machine to show increased modeling power and efficient analysis methods;Finally, Validation methods are presented for these models and results of a performance analysis from a deterministic and stochastic model are used to reorganize and re-evaluate a manufacturing system in order to increase its flexibility

Modeling and Analysis of Resource Sharing Approach in Common Platform Strategy Using Petri Net Theory

The most competitive advantages in business and manufacturing is resource-sharing.We must share common resources to produce a group of product family with using common platform strategy. This strategy helps us to increase profit and value in business. It is necessary to apply this strategy to model and analyze resource achievability in different situations. In this paper we try to develop a practical model for analyzing common resource behavioral in platform area with using Petri net theory. Petri Nets have been successfully used for modeling and control the dynamics of flexible manufacturing systems.This paper presents some important concepts about common platform and petri net theory and then presents numerical examples to show how to use Petri net for modeling and analysis in common platform. This model is very useful for common platform strategy and can be used to determine reliability of common platform systems in an effective way

Petri net modeling and performance analysis of can fieldbus

The CAN FB (Controller Area Network FieldBus) has been in existence for ten years. It supports automated manufacturing and process control environments to interconnect intelligent devices such as valves, sensors, and actuators. CAN FieldBus has a high bit rate and the ability to detect errors. It is immune to noise and resistant to shock, vibration, and heat. Two recently introduced mechanisms, Distributed Priority Queue (DPQ) and Priority Promotion (PP) enable CAN FieldBus networks to share out the system bandwidth and grant ail upper bound on the transmission times so as to meet the requirements in real-time communications. Modeling and analysis of such networks are an important research area for their wide applications in manufacturing automation. This thesis presents a Petri net methodology which models and analyzes CAN FieldBus access protocol. A Reachability Graph of the Petri net model is -utilized to study the behavioral properties of the protocol. A timed Petri net simulator is used to evaluate the performance of the protocol. Performance measures include the completion time for successful events and operations. Operational parameters investigated using the Petri Net model are FieldBus speed, the length of each frame, and the number of frames in a message

Petri net-based approach for web service automation resource coordination

In industrial automation, control systems and mechatronic devices are from diverse nature, supplied by different manufacturers and made of different technologies. The adoption of web services principles in an automated production system satisfies some requirements, namely the interoperability of such heterogeneous and distributed environments and the basis for flexibility and reconfigurability. Manufacturing processes require to access resources at different precedence levels and time instances, but in the other way resources may also be shared by different processes. A major challenge is then how individual services may interact, coordinating their activities. Petri nets may be used to describe complex system behaviour and therefore also applied to coordinate such systems. The paper introduces a Petri net based approach for the design, analysis and coordination of systems developed using web services to represent individual and autonomous resources. For this purpose, it is presented a Petri nets computational tool to support the design, validation and coordination of web service based automation systems.info:eu-repo/semantics/publishedVersio

Process Mining for Dynamic Modeling of Smart Manufacturing Systems: Data Requirements

Modern manufacturing systems can benefit from the use of digital tools to support both short- and long-term decisions. Meanwhile, such systems reached a high level of complexity and are frequently subject to modifications that can quickly make the digital tools obsolete. In this context, the ability to dynamically generate models of production systems is essential to guarantee their exploitation on the shop-floors as decision-support systems. The literature offers approaches for generating digital models based on real-time data streams. These models can represent a system more precisely at any point in time, as they are continuously updated based on the data. However, most approaches consider only isolated aspects of systems (e.g., reliability models) and focus on a specific modeling purpose (e.g., material flow identification). The research challenge is therefore to develop a novel framework that systematically enables the combination of models extracted through different process mining algorithms. To tackle this challenge, it is critical to define the requirements that enable the emergence of automated modeling and simulation tasks. In this paper, we therefore derive and define data requirements for the models that need to be extracted. We include aspects such as the structure of the manufacturing system and the behavior of its machines. The paper aims at guiding practitioners in designing coherent data structures to enable the coupling of model generation techniques within the digital support system of manufacturing companies

Hybrid Petri nets-based Flow modeling and application on hybrid system.

Flow management is necessary in several application areas, in the optimization of industrial production lines, in IT to manage data flows and in the automation of industrial systems. Physical systems in general consist of continuous processes interacting with discrete processes forming a hybrid dynamic system constituted by continuous dynamic type models and discrete events. The application of the hybrid Petri nets tool in the modeling, study and performance evaluation of these systems helps to analyze the dynamic properties by acting on the parameters and the structure of the models in order to evaluate their behavior. This work is focused on the application of this tool to model a material flow management system between a rotary kiln and a clinker cooler in a production line (cement process). The implementation of the modeling and the analysis of the results obtained by simulation on a software platform (Visual Object Net ++), aims to study industrial processes with mathematical tools and to follow their behavior on software, this allows us an optimal analysis of complex systems in dangerous environments, and to try practical and effective solutions by simple means before moving on to the implementation and programming of actions that require more expensive means

A modelling and simulation framework for health care systems.

International audienceIn this paper, we propose a new modeling methodology named MedPRO for addressing organization problems of health care systems. It is based on a metamodel with three different views: process view (care pathways of patients), resource view (activities of relevant resources), and organization view (dependence and organization of resources). The resulting metamodel can be instantiated for a specific health care system and be converted into an executable model for simulation by means of a special class of Petri nets (PNs), called Health Care Petri Nets (HCPNs). HCPN models also serve as a basis for short-term planning and scheduling of health care activities. As a result, the MedPRO methodology leads to a fast-prototyping tool for easy and rigorous modeling and simulation of health care systems. A case study is presented to show the benefits of the MedPRO methodology

Dynamic Multilevel Workflow Management Concept for Industrial IoT Systems

Workflow management is implemented in manufacturing at many levels. The nature of processes variesat each level, hindering the use of a standard modeling orimplementation solution. The creation of a flexible workflow management framework that overarches the heterogeneous business process levels is challenging. Still, one of the promisesof the Industry 4.0 initiative is precisely this: to provideeasy-to-use models and solutions that enable efficient execution of enterprise targets. By addressing this challenge, this articleproposes a workflow execution model that integrates information and control flows of these levels while keeping their hierarchy. The overall model builds on the business process model andnotation (BPMN) for modeling at the enterprise level and recipemodeling based on colored Petri net (CPN) at the production level. Models produced with both alternatives are implemented and executed in a framework supported by an enterprise servicebus (ESB). Loosely coupled, late-bound system elements are connected through the arrowhead framework, which is builtupon the service-oriented architecture (SOA) concept. To proveits feasibility, this article presents the practical application ofthe model via an automotive production scenario

Simulating Train Dispatching Logic with High-Level Petri Nets

Railway simulation is commonly used as a tool for planning and analysis of railway traffic in operational, tactical and strategical level. During the simulation, a typical problem is a deadlock, i.e. a specific composition of trains on a simulated section positioned in such a way that they are blocking each other\u27s paths. Deadlock avoidance is very important in the simulation of railways because deadlock can stop the simulation, and significantly affect the simulation results. Simulation of train movements on a single track line requires implantation of additional rules and principles of train spacing and movement as train paths are more often in conflict than on a double track line. A High-level Petri Nets simulation model that detects and manages train path conflicts on a single track railway line is presented. Module for train management is connected to other modules on a hierarchical High-level Petri net. The model was tested on a busy single track mainline between Hrpelje-Kozina and Koper in south-western Slovenia