Filters








26,944 Hits in 4.1 sec

Modeling the value chain with object-valued Petri Nets

Jaroslav Zacek, Frantisek Hunka, Zdenek Melis
2021 WSEAS Transactions on Information Science and Applications  
According to the modification we had to define a new path and pass of the OV-PN. We also had to determine new properties. Properties are based on the OV-PN and reflect needs of model requirements.  ...  This paper introduces the Objectvalued Petri (OV-PN) modification as a new formalism to create a cyclic model of the value chain.  ...  Object-Valued Petri net model of the value chain.  ... 
doi:10.37394/23209.2021.18.19 fatcat:deavby5gwbev3jdeyj4v7ga7au

Modeling and Analysis Methods for Multi-Agent Systems [chapter]

Jose R., Alan A.
2009 Multiagent Systems  
Computer simulation is generally used to assess system properties and to verify that the system is achieving its design objectives.  ...  These properties from the Petri net domain could be related to characteristics of the communication and interaction of the multi-agent system.  ...  The concept of reachability is essential for the study of the dynamic properties of a Petri net.  ... 
doi:10.5772/6596 fatcat:svwrogmzkngtpfdftohbggwbui

Computer Network Simulation Modeling Based on Object Oriented Petri Net

Xinhua Chen, Ya-ni Sun
2016 International Journal of Online Engineering (iJOE)  
This paper first briefly introduces the Petri net, and then studied in detail according to the selected object-oriented Petri net modeling method.  ...  Finally this paper build a computer network TCP/IP protocol model based on the object oriented Petri net.  ...  The internal behavior of the object can be represented by Petri net, such as G-CPN (G-colored Petri net). In this method, the Petri net identifies the current state of the object.  ... 
doi:10.3991/ijoe.v12i02.5039 fatcat:mypjmwnlgvaeblkylmj4ahxtbm

Modeling Multimedia Synchronization Using a Time Petri Net Based Approach [chapter]

Abdelghani Ghomari, Chabane Djerab
2010 Advances in Petri Net Theory and Applications  
Automatic generation of a time Petri net based on the previous temporal specification. The time Petri net is stored in an object called "scenario object".  ...  So, there is a global Petri net that is composed of sub-nets of smaller Petri nets corresponding to presentations.  ...  /books/advances-in-petri-net-theory-andapplications/modeling-multimedia-synchronization-using-a-time-petri-net-based-approach-  ... 
doi:10.5772/10297 fatcat:htrv2bmxezhv5b56gyzvcup66y

Modeling and Analysis of Multi-agent Systems using Petri Nets

Alan A. Desrochers, Jose R. Celaya, Robert J. Graves
2009 Journal of Computers  
The abstract architecture is modeled using Petri nets and structural analysis of the net provides an assessment of the interaction properties of the multi-agent system.  ...  Deadlock avoidance in the multi-agent system is considered and it is evaluated using liveness and boundedness properties of the Petri net model. Index Terms-Petri nets, multi-agent systems, deadlock.  ...  ACKNOWLEDGEMENTS Portions of this work were supported by NSF grant DMII-0121902.  ... 
doi:10.4304/jcp.4.10.981-996 fatcat:5wkuhv36j5elvf7adtvmojkatq

PEP — more than a Petri Net tool [chapter]

Bernd Grahlmann, Eike Best
1996 Lecture Notes in Computer Science  
The PEP system (Programming Environment based on Petri Nets) supports the most important tasks of a good net tool, including HL and LL net editing and comfortable simulation facilities.  ...  The PEP tool's comprehensive verification components allow a large range of properties of parallel systems to be checked efficiently on either programs or their corresponding nets.  ...  They can determine whether a Petri net satisfies a property given in terms of a temporal logic formula.  ... 
doi:10.1007/3-540-61042-1_58 fatcat:6xleev2hqjebjfv47l6sc4rnhm

Research on Mapping UML to Petri-Net in System Modeling

Chun Jian Wang, Hong Jun Fan, Shuang Pan, W.-P. Sung, J.C.M. Kao
2016 MATEC Web of Conferences  
The paper analyzes the need of complex system modeling.According to the advantage and shortage of UML and Perti net, comprehensive usage of Petri net and UML can efficiently improve the comprehensiveness  ...  , consistency, accuracy and completeness of the model describing The translation rules from UML to Petri net were proposed.  ...  The place in Petri net model mapping to properties of objects in UML model. The Subnet in Petri net model mapping to statechart of object in UML model.  ... 
doi:10.1051/matecconf/20164402038 fatcat:hzcuohn4inflrj7ed6ei3ku5wy

Roles at the Basis of UML Validation

Thouraya Bouabana-Tebibel
2007 Journal of Computing and Information Technology  
This approach allows validation of the temporal logic properties translated from the OCL invariants, on the Petri nets derived from the UML models.  ...  To remedy that, we first present a technique for transforming UML statecharts into Petri nets. We develop afterwards, an approach based on the movement of the objects throughout the roles they play.  ...  In Petri nets, the association end objects are coloured tokens of role type.  ... 
doi:10.2498/cit.1000882 fatcat:agcfm5d3z5eq3olbvq7mbgiqyq

Page 8511 of Mathematical Reviews Vol. , Issue 2002K [page]

2002 Mathematical Reviews  
The free-choice property and the deadlock-trap property are known from Petri net theory.  ...  Summary: “Object-based Petri nets are becoming increasingly popular in many fields of computer science.  ... 

Object Dynamics Formalization Using Object Flows within UML State Machines

Thouraya Boubana-Tebibel
2015 Enterprise Modelling and Information Systems Architectures - An International Journal  
To validate formally these properties, we first present a technique for transforming a UML object life cycle model into Object Petri nets.  ...  Thirdly, validation of OCL invariants which are translated into temporal logic properties to be checked on the Petri nets derived from the UML models, requires integration of object flows within the state  ...  In Petri nets, the association end objects are colored tokens of role type.  ... 
doi:10.18417/emisa.2.1.3 dblp:journals/emisaij/Bouabana-Tebibel07 fatcat:o5galyz5q5eatiq222kmyry6ne

METHOD OF SOFTWARE VERIFICATION OF AIR OBJECTS CLASSIFICATION FUZZY LOGICAL SYSTEM

Oleksander Timochko
2018 Advanced Information Systems  
The basis of the model is a fuzzy colored Petri net for representing the base of fuzzy production rules for classifying air objects.  ...  The state space allows to obtain the values of the indicators of all the basic properties of the Petri net. The CPN Tools modeling system is used to build and analyze the state space.  ...  It allows you to build a state space and analyze the values of the indicators of all the basic properties of the Petri net.  ... 
doi:10.20998/2522-9052.2018.4.16 fatcat:y2e7s67ytfbpbngsatpxj44jcy

Page 7284 of Mathematical Reviews Vol. , Issue 2004i [page]

2004 Mathematical Reviews  
concepts of object Petri net formalisms.  ...  Summary: “Fehling’s hierarchical Petri nets are a net modelling framework based on refinement and abstraction of nets. Object Petri nets are a Petri net-based method of encapsulation.  ... 

Creating Hybrid Simulation Systems Using a Flexible Meta Data Approach [chapter]

Juergen Rossmann, Michael Schluse, Ralf Waspe
2014 Advances in Intelligent Systems and Computing  
The object-oriented Petri-nets are formally described in the State Oriented Modeling Language, which is itself an extension scheme of the simulation database.  ...  We achieve this by using State Oriented Modeling, which combines the ideas of object-oriented Petri-nets and supervisory control (using discreet event simulation as a control component).  ...  Additional language elements and the building blocks of Petri-nets for use within objects or object-classes are: • Properties.  ... 
doi:10.1007/978-3-319-11457-6_2 fatcat:rnf5477xkjcnxklv5zhpjsl5eq

Representation and simulation of stochastic petrinet models using XPNML

Hyunsoo Lee, Bikram Sharda, Amarnath Banerjee
2007 2007 Winter Simulation Conference  
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML.  ...  The paper provides the ontology of xPNML model and overview of its JAVA based implementation for simulation and analysis of stochastic Petri nets.  ...  The marking information associated with objects helps in the analysis of structural Petri net properties.  ... 
doi:10.1109/wsc.2007.4419705 dblp:conf/wsc/LeeSB07 fatcat:rfflzziglbeqpnzchnli2gczmq

A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation

Yasmina Rahmoune, Allaoua Chaoui, Elhillali Kerkouche
2015 Procedia Computer Science  
We verify the resulting Petri nets with model checker INA. We illustrate our contribution with a detailed example.  ...  In this paper, we propose a framework to transform automatically UML activity diagram 2.0 (informal notation) to Petri Nets (formal notation) for the analysis purpose using INA analyzer tool.  ...  The objective of this transformation is to benefit from the power of Petri Nets in terms of verification of properties like deadlocks, termination, etc.  ... 
doi:10.1016/j.procs.2015.07.261 fatcat:3b35y2mexzdpdk3l23flnfdsmm
« Previous Showing results 1 — 15 out of 26,944 results