Results 231 to 240 of about 1,247,855 (284)

Simulation of colored time Petri nets

2013 IEEE International Conference on Information and Automation (ICIA), 2013
This paper presents a simulation algorithm to analyze a type of colored time Petri nets, in which a time interval is associated with each transition. Specifically, we first unfold colored time Petri nets to standard time Petri nets and then develop a simulation algorithm of time Petri nets to realize the simulation of colored time Petri nets.
Fei Liu, Ming Yang
exaly   +3 more sources

Improvements in Unfolding of Colored Petri Nets

2021
Colored Petri nets offer a compact and user friendly representation of the traditional P/T nets and colored nets with finite color ranges can be unfolded into the underlying P/T nets, however, at the expense of an exponential explosion in size. We present two novel techniques based on static analyses in order to reduce the size of unfolded colored nets.
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist   +4 more
openaire   +1 more source

Towards reusable colored Petri nets

Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, 2002
Reuse has long been recognized as a key technology that can bring about signi cant productivity gains in software development. Code-level reuse is wellunderstood and frequently practiced. However, reuse in software requirements, another phase where much bene t can be expected, remains inadequately addressed.
Nam Hee Lee, Jang-Eui Hong, Sung Deok Cha, Doo-Hwan Bae   +3 more
openaire   +1 more source

Colored Petri net control of OR-logic

Proceedings of the IEEE Internatinal Symposium on Intelligent Control, 2003
Usually, the maximally permissive control of Petri nets with an OR-logic constraint is difficult to implement. In this paper, OR-logic is easily enforced using a colored Petri net. A colored Petri net place, named colored monitor place, is designed to monitor the states of constraints.
Weimin Wu 0002, Hongye Su, Jian Chu, Walter Murray Wonham   +3 more
openaire   +1 more source

Conflict sets in colored Petri nets

Proceedings of 5th International Workshop on Petri Nets and Performance Models, 2002
Generalized stochastic Petri nets provide the modeller with immediate transitions, but a model will be correct only if the modeller can specify how to solve the firing conflicts between these transitions. This task is usually cumbersome and may be impossible for large nets.
Claude Dutheillet, Serge Haddad
openaire   +1 more source

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