A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Modeling the value chain with object-valued Petri Nets
2021
WSEAS Transactions on Information Science and Applications
Preserved Fulltext
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]
2009
Multiagent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Journal of Online Engineering (iJOE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Advances in Petri Net Theory and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal of Computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
MATEC Web of Conferences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2007
Journal of Computing and Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2015
Enterprise Modelling and Information Systems Architectures - An International Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Advanced Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2014
Advances in Intelligent Systems and Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
2007 Winter Simulation Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2015
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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