Results 241 to 250 of about 411,715 (285)

A Colored Petri Net model of VHDL

Formal Methods in System Design, 1995
There exists a strong necessity for a formal interpretation of VHDL. This paper address this aspect. The formal model used for this purpose are Colored Petri Nets because they can cover all aspects of VHDL. We start from the underlying executable model of VHDL based on interactive processes.
Serafín Olcoz, José Manuel Colom
openaire   +2 more sources

Automating the Conversion of Colored Petri Nets with Qualitative Tokens Into Colored Petri Nets with Quantitative Tokens

Cybernetics and Systems Analysis, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hlomozda, D. K., Glybovets, M. M., Maksymets, O. M.   +2 more
openaire   +1 more source

Syntactical Colored Petri Nets Reductions

2005
In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transitions into an atomic one. Their conditions combine local structural ones (e.g. related to the actions of a thread) and global algebraic ones (e.g. related to the threads synchronization)
Sami Evangelista, Serge Haddad, Jean-François Pradat-Peyre   +2 more
openaire   +1 more source

A zero-one programming of Petri nets to colored Petri net transformation

Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology, 2002
Presents a zero-one programming of transforming an ordinary Petri net into a colored Petri net. The transformation is based on the similarity measures embedded in the initial Petri net. The objective function is to maximize the compactness of the colored Petri net subject to the constraints which are defined on places and transitions of the initial ...
H. Darabi, M.A. Jafari
openaire   +1 more source

Modeling workflow processes with colored Petri nets

Computers in Industry, 2002
The definition and maintenance of workflow processes have become important tasks for enterprises as workflow management systems (WFMS) are systematically applied to critical business processes. In order to simplify the management and usage of workflow processes and to integrate with other applications, a good modeling method is essential. The WFCP-net (
Dongsheng Liu, Jianmin Wang 0001, Stephen C. F. Chan, Jiaguang Sun 0001, Li Zhang 0065   +4 more
openaire   +2 more sources

Modeling With Colored Petri Nets

2019
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
Dmitry A. Zaitsev, Tatiana R. Shmeleva
openaire   +1 more source

Verification of OSPF vulnerabilities by colored Petri net

Proceedings of the 6th International Conference on Security of Information and Networks, 2013
Routers and routing protocols are critical parts of a network infrastructure. OSPF is one of the most important routing protocols, and therefore its vulnerabilities can be very destructive. This makes its security analysis critical. There are many reported and potential vulnerabilities in OSPF protocol.
Saeid Tizpaz-Niari, Amir Hossein Jahangir   +1 more
openaire   +1 more source

A colored Petri net model for DisCSP algorithms

Concurrency and Computation: Practice and Experience, 2017
SummaryThe aim of this paper is to present a colored Petri net that models a system applying a DisCSP method. Our study considered 3 representative DisCSP algorithms: synchronous backtracking, asynchronous backtracking, and weak‐commitment search. To obtain the model, it was necessary to transpose the operation of a DisCSP‐based system into a discrete ...
Carlos Pascal, Doru Panescu
openaire   +1 more source

Modeling concurrent programs with colored Petri nets

Journal of Systems and Software, 1994
Abstract We show how colored Petri nets can be used to model concurrent programs. We describe a translation from a substantive subset of Ada including dynamic tasking, subroutines, and generics, constructs that have not been modeled with Petri nets before.
Ryan Stansifer, Mike Beaven, Dan C. Marinescu   +2 more
openaire   +2 more sources

Transforming event graphs to colored petri nets

SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483), 2004
The paper explorers a comparison between the two approaches, event graphs and colored Petri nets, in terms of their modeling and simulation capabilities. A methodology for transforming an event graph model of a Discrete Event System (DES) to an equivalent colored Petri net model is presented with an illustration.
Daesik Kim, Abbas K. Zaidi
openaire   +1 more source