Some Possibilities of Modeling Colored Petri Nets

2021 ◽  
pp. 77-91
Author(s):  
Goharik Petrosyan ◽  
Armen Gaboutchian ◽  
Vladimir Knyaz
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Optimal Allocation ◽  
Production Systems ◽  
Oriented Graph ◽  
Discrete Systems ◽  
Colored Petri Nets ◽  
Venn Diagram ◽  
Colored Petri Net ◽  
Language Class

Petri nets are a mathematical apparatus for modelling dynamic discrete systems. Their feature is the ability to display parallelism, asynchrony and hierarchy. First was described by Karl Petri in 1962 [1,2,8]. The Petri net is a bipartite oriented graph consisting of two types of vertices - positions and transitions connected by arcs between each other; vertices of the same type cannot be directly connected. Positions can be placed by tags (markers) that can move around the network. [2] Petri Nets (PN) used for modelling real systems is sometimes referred to as Condition/Events nets. Places identify the conditions of the parts of the system (working, idling, queuing, and failing), and transitions describe the passage from one state to another (end of a task, failure, repair...). An event occurs (a transition fire) when all the conditions are satisfied (input places are marked) and give concession to the event. The occurrence of the event entirely or partially modifies the status of the conditions (marking). The number of tokens in a place can be used to identify the number of resources lying in the condition denoted by that place [1,2,8]. Coloured Petri nets (CPN) is a graphical oriented language for design, specification, simulation and verification of systems [3-6,9,15]. It is in particular well-suited for systems that consist of several processes which communicate and synchronize. Typical examples of application areas are communication protocols, distributed systems, automated production systems, workflow analysis and VLSI chips. In the Classical Petri Net, tokens do not differ; we can say that they are colourless. Unlike standard Petri nets in Colored Petri Net of a position can contain tokens of arbitrary complexity, such as lists, etc., that enables modelling to be more reliable. The article is devoted to the study of the possibilities of modelling Colored Petri nets. The article discusses the interrelation of languages of the Colored Petri nets and traditional formal languages. The Venn diagram, which the author has modified, shows the relationship between the languages of the Colored Petri nets and some traditional languages. The language class of the Colored Petri nets includes a whole class of Context-free languages and some other classes. The paper shows modelling the task synchronization Patil using Colored Petri net, which can't be modeled using well- known operations P and V or by classical Petri network, since the operations P and V and classical Petri networks have limited mathematical properties which do not allow to model the mechanisms in which the process should be synchronized with the optimal allocation of resources.

Compositional colored Petri net approach to multiscale modeling for systems biology

2014 ◽  
Vol 05 (04) ◽  
pp. 1450017 ◽  
Author(s):  
Fei Liu ◽  
Ming Yang
Keyword(s):  
Systems Biology ◽  
Petri Nets ◽  
Multiscale Modeling ◽  
Petri Net ◽  
Multiscale Model ◽  
Hierarchical Organization ◽  
Colored Petri Nets ◽  
Colored Petri Net ◽  
Multiscale Models ◽  
Multiscale Systems

Colored Petri nets have been demonstrated as a powerful tool for modeling multiscale systems biology. However, the construction of colored Petri nets for biological systems requires prior knowledge about colored Petri nets and is often error-prone and cumbersome for biologists, especially when the communication between components and hierarchical organization of components in a multiscale model are an issue. To address this problem, an established way is to develop small components and then compose them into bigger models. In this paper, we present a compositional colored Petri net approach to aid automatic modeling of systems biology, and demonstrate it with two case studies. We focus on the modeling of communication between components and hierarchical organization of components as they are key to build multiscale models.

scholarly journals Representing Conversations for Scalable Overhearing

2006 ◽  
Vol 25 ◽  
pp. 349-387 ◽  
Author(s):  
G. Gutnik ◽  
G. A. Kaminka
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Academic Community ◽  
Important Task ◽  
Colored Petri Nets ◽  
Colored Petri Net ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Interesting Approach ◽  
Multi Agent

Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent conversation protocols. The representation of such protocols (for analysis, validation, monitoring, etc) is an important aspect of multi-agent applications. Recently, Petri nets have been shown to be an interesting approach to such representation, and radically different approaches using Petri nets have been proposed. However, their relative strengths and weaknesses have not been examined. Moreover, their scalability and suitability for different tasks have not been addressed. This paper addresses both these challenges. First, we analyze existing Petri net representations in terms of their scalability and appropriateness for overhearing, an important task in monitoring open multi-agent systems. Then, building on the insights gained, we introduce a novel representation using Colored Petri nets that explicitly represent legal joint conversation states and messages. This representation approach offers significant improvements in scalability and is particularly suitable for overhearing. Furthermore, we show that this new representation offers a comprehensive coverage of all conversation features of FIPA conversation standards. We also present a procedure for transforming AUML conversation protocol diagrams (a standard human-readable representation), to our Colored Petri net representation.

scholarly journals Formulation of Cell Petri Nets

2013 ◽  
Vol 21 (4) ◽  
pp. 241-247
Author(s):  
Mitsuru Jitsukawa ◽  
Pauline N. Kawamoto ◽  
Yasunari Shidama
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Colored Petri Nets ◽  
Colored Petri Net ◽  
Neighborhood Relationship ◽  
Definition Of

Abstract Based on the Petri net definitions and theorems already formalized in the Mizar article [13], in this article we were able to formalize the definition of cell Petri nets. It is based on [12]. Colored Petri net has already been defined in [11]. In addition, the conditions of the firing rule and the colored set to this definition, that defines the cell Petri nets are further extended to CPNT.i further. The synthesis of two Petri nets was introduced in [11] and in this work the definition is extended to produce the synthesis of a family of colored Petri nets. Specifically, the extension to a CPNT family is performed by specifying how to link the outbound transitions of each colored Petri net to the place elements of other nets to form a neighborhood relationship. Finally, the activation of colored Petri nets was formalized.

Optimization of Assembly Production Based on Imitation of Petri Nets

2021 ◽  
pp. 133-146
Author(s):  
A.N. Sochnev
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Production Systems ◽  
Significant Degree ◽  
Practical Significance ◽  
Optimal Planning ◽  
Binary Function ◽  
Typical Situation ◽  
Branched Structure ◽  
Assembly Production

The paper describes the approach to solving the problem of optimal planning of the production process. A discrete production system represented by the operations of machining, welding and painting was chosen as the object of research. The study states the problem of optimization of assembly production, which contains a typical criterion of optimality. A mechanism for meeting the criterion using a simulation model based on a Petri net is determined. The rules for developing feedback on the state of the network model and a method for controlling the simulation of the Petri net based on the analysis of its states are given. A binary function is used to analyze the states of the model. The developed approach to process optimization develops the theory of Petri nets, makes it more suitable for modeling complex systems with a branched structure and a large number of interconnections, which is a typical situation for production systems. The most universal approaches of control theory, e.g. feedback principle, are used, which implies a significant degree of universality and replicability of the approach. On the basis of the developed theoretical provisions, a test example is presented that characterizes the effect of their application. The presence of assembly production at most mechanical-engineering enterprises determines the high practical significance of the developed approach

scholarly journals On Modeling and Simulation of Resource Allocation Policies in Cloud Computing Using Colored Petri Nets

2020 ◽  
Vol 10 (16) ◽  
pp. 5644 ◽  
Author(s):  
Stavros Souravlas ◽  
Stefanos Katsavounis ◽  
Sofia Anastasiadou
Keyword(s):  
Resource Allocation ◽  
Petri Nets ◽  
Petri Net ◽  
Object Oriented ◽  
Colored Petri Nets ◽  
Allocation Scheme ◽  
Shared Resources ◽  
Basic Characteristics ◽  
Resource Allocation Scheme ◽  
Maximum Utilization

The Petri net (PN) formalism is a suitable tool for modeling parallel systems due to its basic characteristics, such as synchronization. The extension of PN, the Colored Petri Nets (CPN) allows the incorporation of more details of the real system into the model (for example, contention for shared resources). The CPNs have been widely used in a variety of fields to produce suitable models. One of their biggest strengths is that their overall philosophy is quite similar to the philosophy of the object-oriented paradigm. In this regard, the CPN models can be used to implement simulators in a rather straightforward way. In this paper, the CPN framework is employed to implement a new resource allocation simulator, which is used to verify the performance of our previous work, where we proposed a fair resource allocation scheme with flow control and maximum utilization of the system’s resources.

Protocol Design of Inkjet Printing System Based on Petri Nets

2011 ◽  
Vol 268-270 ◽  
pp. 1968-1973
Author(s):  
Ye Li Li ◽  
Biao Guo ◽  
Li Kun Lu
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Inkjet Printing ◽  
Communication Protocol ◽  
Protocol Design ◽  
Colored Petri Net ◽  
Cpn Tools ◽  
Printing System ◽  
Data Bus

This paper defined a kind of communication protocol between the RIP card and the printhead circuit for the inkjet printing system. Protocol project was chosen in the protocol design, for which Petri net was used. After defining the message, the protocol model was established based on colored Petri net with inhibitor arcs. The model has priority and allow different message to transmit on the same data bus subsequently. Though analyzing and simulating in CPN Tools, the model was proved to be able to realize the function.

Modeling With Colored Petri Nets

2021 ◽  
pp. 397-424
Author(s):  
Dmitry A. Zaitsev ◽  
Tatiana R. Shmeleva
Keyword(s):  
Performance Evaluation ◽  
Petri Nets ◽  
Petri Net ◽  
Real Life ◽  
Colored Petri Nets ◽  
Correctness Proof ◽  
Model Driven ◽  
Cpn Tools ◽  
Complex Models ◽  
And Performance

Aviation and aerospace systems are complex and concurrent and require special tools for their specification, verification, and performance evaluation. The tool in demand should be easily integrated into the standard loop of model-driven development. Colored Petri nets represent a combination of a Petri net graph and a functional programming language ML that makes it powerful and convenient tool for specification of real-life system and solving both tasks: correctness proof i.e. verification and performance evaluation. This chapter studies basic and advanced features of CPN Tools – a powerful modeling system which uses graphical language of colored Petri nets. Starting with a concept of colored hierarhical timed Petri net, it goes through declaration of color sets and functions to peculiarities of hierarchical design of complex models and specification of timed characteristics. The authors accomplish the chapter with a real-life case study of performance evaluation for switched Ethernet network.

scholarly journals An Intelligent Algorithm for Decision Making System and Control of the GEMMA Guide Paradigm Using the Fuzzy Petri Nets Approach

Electronics ◽  
2021 ◽  
Vol 10 (4) ◽  
pp. 489
Author(s):  
Oz Yakrangi ◽  
Roque J. Saltarén Pazmiño ◽  
Juan S. Cely ◽  
Alejandro Rodríguez ◽  
Cecilia E. García Cena ◽  
...  
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Production Systems ◽  
Proper Solution ◽  
Fuzzy Petri Net ◽  
Decision Making System ◽  
Fuzzy Petri Nets ◽  
Fuzzy Logic Approach ◽  
Logic Approach ◽  
And Control

The aim of this article is to present the fuzzy Petri net algorithm and its implementation on the Guide d’etude des modes de marche et d’arrêt (GEMMA) guide paradigm. Additionally, this article presents a brief description of the GEMMA guide paradigm, the fuzzy logic approach, the Petri nets theory, and fuzzy Petri nets. Each algorithm is intended for a specific set of transitions, depending on their essential conditions. All these algorithms generate intelligent and safe control of the GEMMA guide paradigm in order to have the best control system for the machine. Moreover, the algorithms are able to make the best decision automatically depending on the machine’s situation and condition, something that allows the machine to be placed in the appropriate mode for each situation. The results show that the different fuzzy Petri net algorithms were working properly for the GEMMA guide paradigm and provided a proper solution for the automation of production systems.

scholarly journals Robustness Optimization of FMS Under Production Plan Variations: Preliminary Results

1998 ◽  
Author(s):  
Kazuhiro Saitou ◽  
Helge Qvam
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Flexible Manufacturing ◽  
Manufacturing Systems ◽  
Production Costs ◽  
Production Plan ◽  
Colored Petri Net ◽  
Multiple Production ◽  
Optimal Resource ◽  
Robustness Optimization

Abstract A method for robustness optimization of flexible manufacturing systems is presented which undergoes forecasted product plan variations. A configuration of an FMS is modeled by a colored Petri net and the associated transition firing sequence. The robustness optimization of the colored Petri net model is formulated as an multi-objective optimization problem which minimizes production costs under multiple production plans, and reconfiguration cost due to production plan changes. As a first attempt, machines with limited flexibility are considered, and a genetic algorithm, coupled with a simple FIFO dispatching rule, is used to simultaneously find an semi-optimal resource allocation and event-driven schedule of a colored Petri net. The resulting Petri nets are then compared with the Petri nets optimized for a particular production plan in order to address the effectiveness of the robustness optimization for simultaneous production of products with different similarities. The simulation results suggest that the robustness optimization should be considered when the products are moderately different in their manufacturing processes.

Sign in / Sign up

Export Citation Format

Share Document