Results 41 to 50 of about 4,495 (168)
The Equivalency between Logic Petri Workflow Nets and Workflow Nets
The Scientific World Journal, 2015 Logic Petri nets (LPNs) can describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Logic Petri workflow nets (LPWNs) are proposed based on LPNs in this paper.
Jing Wang, ShuXia Yu, YuYue Du
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 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
Advances in Mechanical Engineering, 2016 Decision-making in technological systems, such as communication networks, manufacturing facilities and supply chains, constitutes a common requirement able to lead companies galore to success or failure.
Juan-Ignacio Latorre-Biel +5 more
doaj +1 more source
Fundamenta InformaticaeThe categorical modeling of Petri nets has received much attention recently. The Dialectica construction has also had its fair share of attention. We revisit the use of the Dialectica construction as a categorical model for Petri nets generalising the original application to suggest that Petri nets with different kinds of transitions can be modelled in
Elena Di Lavore +2 more
openaire +2 more sources
Deadlock analysis and control based on Petri nets: A siphon approach review
Advances in Mechanical Engineering, 2017 Deadlocks should be eliminated in highly automated manufacturing systems since their occurrence implies the stoppage of the whole or partial system operation.
YiFan Hou, Kamel Barkaoui
doaj +1 more source
Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems
Applied Sciences, 2022 In this article, interpreted Petri nets are applied to the area of power and energy systems. These kinds of nets, equipped with input and output signals for communication with the environment, have so far proved to be useful in the specification of ...
Iwona Grobelna, Paweł Szcześniak
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
Electronic Notes in Theoretical Computer Science, 2006 AbstractThe aim of this paper is an introduction to the area of Petri net transformations, a rule-based approach for dynamic changes of the net structure of Petri nets. This is especially important for the stepwise construction of Petri nets in the sense of the software development process in software engineering.
Hartmut Ehrig +2 more
openaire +1 more source
Simulating Petri Nets with Inhibitor and Reset Arcs
Труды Института системного программирования РАН, 2019 Event logs of software systems are used to analyze their behaviour and inter-component interaction. Artificial event logs with desirable specifics are needed to test algorithms supporting this type of analysis. Recent methods allow to generate artificial
Pavel Аlexeevitch Pertsukhov +1 more
doaj +1 more source
Analysis of Petri Nets and Transition Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper describes a stand-alone, no-frills tool supporting the analysis of (labelled) place/transition Petri nets and the synthesis of labelled transition systems into Petri nets.
Eike Best, Uli Schlachter
doaj +1 more source