Results 11 to 20 of about 1,247,855 (284)
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
MODELING OF BIOMETRIC IDENTIFICATION SYSTEM USING THE COLORED PETRI NETS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2015 In this paper we present a model of biometric identification system transformed into Petri Nets. Petri Nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems.
G. R. Petrosyan +2 more
doaj +1 more source
Modeling of ATCR Radar Monitor System Using Computer Simulation [PDF]
Eurasian Journal of Science and Engineering, 2017 This work simulates the radar monitor and a number of flying targets and their appearance on the simulated monitor. The targets are built using object oriented idea, thus a class is being built for the targets so that each target is made as an object ...
Qaysar Mahdi
doaj +1 more source
Methods for Efficient Unfolding of Colored Petri Nets
Fundamenta Informaticae, 2023 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 analysis in order to reduce the size of unfolded colored nets.
Alexander Bilgram +4 more
openaire +5 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 +3 more
doaj +1 more source
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
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
Colored Petri nets for Modeling Processes of Biometric Identification System [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information SciencesThe 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 +4 more
doaj +1 more source
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 +6 more
doaj +1 more source
Timed Colored Logical Petri Net [PDF]
Jisuanji kexue yu tansuoAiming at the problems of weak expressive ability and narrow scope of application in extended colored logical Petri net, timed colored logical Petri net is proposed. Firstly, instantiating colors and using variables to build expressions on directed edges
WANG Jiafeng, XU Xian
doaj +1 more source