Results 21 to 30 of about 4,382 (153)
Journal of Advances in Information Technology, 2013 Today, by developing technology and presenting Object-Oriented and Concurrent systems, new modeling languages with powerful mathematical and formulaic base are needed.
Meysam Aminzadeh +2 more
doaj +1 more source
A Compositional Analysis Method for Petri-Net Models
IEEE Access, 2017 Compositional analysis aims to reveal the underlying structures of a large-scale system or network by analyzing its constituent components and their relationships.
Jie Ding, Xiao Chen, Rui Wang
doaj +1 more source
Modeling Routing Constructs to Represent Distributed Workflow Processes Using Extended Petri Nets
ITM Web of Conferences, 2017 The contribution introduces explaining and modelling routing construct to represent distributed workflow processes using extended Petri nets with the new construction which is the interruption routing.
Karay Mehmet
doaj +1 more source
Petri Nets for Biologically Motivated Computing [PDF]
Scientific Annals of Computer Science, 2011 Petri nets are a general and well-established model of concurrent and distributed computation and behaviour, including that taking place in biological systems. In this survey paper, we are concerned with intrinsic relationships between Petri nets and two
J. Kleijn, M. Koutny, G. Rozenberg
doaj
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
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
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
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
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
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