Results 1 to 10 of about 2,685 (169)
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
TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays [PDF]
EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, 2016 Performance analysis can be carried out in several ways, especially in case of Markovian models. In order to interpret high level of abstraction, we often use modeling tools like timed Petri nets (TPNs). Although some subclasses of TPNs (e.g.
Ádám Horváth, András Molnár
doaj +1 more source
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
A methodology of testing high-level Petri nets [PDF]
Information and Software Technology, 2002 Abstract Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The verification and validation of Petri nets are of particular importance in the development of concurrent and distributed systems.
Zhu, H, He, X
openaire +2 more sources
XML format for notation of object-oriented Petri net
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2007 Petri nets provide executive facilities for simulation of causality, non-determinism and parallelism in discreet systems. Since they are a mathematical model in substance, they offer theory, which can be successfully used to verification of models ...
Petr Jedlička
doaj +1 more source
Modelling and simulation of a flexible packaging system for detergents [PDF]
MATEC Web of Conferences, 2019 The paper presents how an automated manufacturing system for the packaging of detergents can be modelled using Petri nets. The complexity of the Detergent Packing System and the high level of automation,require the use of efficient modelling and ...
Blaga Florin +4 more
doaj +1 more source
Graphic Model for Shop Floor Simulation and Control in the Context of Industry 5.0
Applied Sciences, 2023 Industry 5.0 changes the paradigm of the current production model, with repercussions throughout the value chain, and opens up opportunities for new approaches that include reducing waste to optimize the use of the planet’s resources. This paper proposes
Nuno Fernandes +2 more
doaj +1 more source
Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method
IEEE Access, 2020 Petri net (PN) is an effective modeling and analysis tool for discrete event systems. By attaching a first-order logic predicate logic formula to a transition in a PN, a high-level Petri net named Logic Petri Net (LPN) is obtained. LPN has been proved to
Liang Qi +3 more
doaj +1 more source
IET Communications, 2023 The authors’ work deals with modelling with coloured Petri nets (CPN) of network controlled systems (NCS) and exposes a proposal of a sensor fault detection and prevention mechanism. In NCS, the network must be viewed as part of the system and not just a
Khamsa Farah +2 more
doaj +1 more source
Reachability trees for high-level petri nets
Theoretical Computer Science, 1986 High-level Petri nets have been introduced as a powerful net type by which it is possible to handle rather complex systems in a succinct and manageable way. The success of high-level Petri nets is undebatable when we speak about description, but there is still much work to be done to establish the necessary analysis methods. In other papers it is shown
Jensen, Kurt +3 more
openaire +4 more sources