Results 11 to 20 of about 411,715 (285)

A dynamic petri net model for iterative and interactive distributed multimedia presentation [PDF]

, 2005
Object Composition Petri Nets (OCPN), Priority Petri Nets (P-Net), Dynamic OCPN (DOCPN) and Enhanced P-Nets (EP-Net) have extended the original Petri Net to achieve the modeling of media synchronization and asynchronous user interactions during ...
Guan, SU, Tan, WK
core   +6 more sources

Petri nets for systems and synthetic biology [PDF]

, 2008
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uni¯es the qualita- tive, stochastic and continuous paradigms.
Donaldson, R, Heiner, M, Gilbert, D
core   +6 more sources

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets

Моделирование и анализ информационных систем, 2012
Nested Petri nets (NP-nets) are an extension of Petri net formalism within the “netswithin-nets” approach, when tokens in a marking are Petri nets, which have an autonomous behavior and are synchronized with the system net.
L. W. Dworza´nski, I. A. Lomazova
doaj   +3 more sources

Process versus Unfolding Semantics for Place/Transition Petri Nets [PDF]

, 1996
In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game," one can model the behaviour of Petri nets via non-sequential processes, via unfolding constructions, which provide ...
Vladimiro Sassone (16064975), Vladimiro Sassone, Meseguer, José, Sassone, V., Meseguer, J., MONTANARI, UGO GIOVANNI ERASMO, Ugo Montanari, Ugo Montanari (12616129), Sassone V., Meseguer J, Montanari, U., José Meseguer (39091), Montanari, Ugo, Sassone, Vladimiro, José Meseguer   +14 more
core   +2 more sources

Modeling of colored Petri nets using semantic Web technologies

Известия высших учебных заведений. Поволжский регион:Технические науки, 2022
Background. In connection with the widespread use of the Semantic Web concept, the issues of using formal models in the design of parallel, distributed and multi-agent systems based on the Semantic Web are of interest.
V.Yu. Kaev, V.N. Dubinin, A.V. Dubinin, L.P. Klimkina   +3 more
doaj   +1 more source

Petri Net Model Based on Neural Network for Deadlock Control and Fault Detection and Treatment in Automated Manufacturing Systems

IEEE Access, 2020
Previously, different deadlock control strategies for automated manufacturing systems (AMSs) based on Petri Nets with reliable resources have been proposed. However, in real-world applications, resources may be unreliable.
Husam Kaid, Abdulrahman Al-Ahmari, Emad Abouel Nasr, Adel Al-Shayea, Ali K. Kamrani, Mohammed A. Noman, Haitham A. Mahmoud   +6 more
doaj   +1 more source

Colored Petri nets for Modeling Processes of Biometric Identification System [PDF]

The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
The article discusses some issues of modeling and digitalization of real-time systems using Petri nets (Petrosyan et al., 2025). The identification and secret key generation system is modeled using the Colored Petri net, which is a modern extension of ...
G. Petrosyan, A. Avetisyan, V. Burmin, V. Knyaz, A. Gaboutchian   +4 more
doaj   +1 more source

A Novel Method for General Hierarchical System Modeling via Colored Petri Nets Based on Transition Extractions from Real Datasets

Applied Sciences, 2022
The Colored Petri net (CPN) has evolved into a complete modeling language, which is based on the object-oriented paradigm. Although this language is quite complete and can be used to accurately model a wide variety of systems, it seems that there is a ...
Stavros Souravlas, Sofia Anastasiadou, Irene Kostoglou   +2 more
doaj   +1 more source

Application of colored timed Petri nets for cement production simulation

Advanced Engineering Research, 2016
The work objective is to develop a special model of the complex distributed object - the cement production - on the basis of the colored timed Petri nets including its analysis and estimation of effectiveness and correctness.
Irina A. Sedykh, Eugeny S. Anikeev
doaj   +1 more source

Bottleneck detection for discrete manufacturing system based on object-oriented colored petri nets and cloud simulation [PDF]

ITM Web of Conferences, 2022
To identify the bottleneck unit of discrete manufacturing system dynamically, an intelligent detection method of bottleneck (IDMOB) is proposed by combining object-oriented colored Petri nets (OOCPN) and cloud simulation.
Zhang Yongyang, Peng En’gao, Luo Zhenkun, Zeng Lianghua, Li Chun   +4 more
doaj   +1 more source