Results 21 to 30 of about 1,247,855 (284)
Axiomatizing Petri Net Concatenable Processes [PDF]
, 1995 The concatenable processes of a Petri net $N$ can be characterized abstractly as the arrows of a symmetric monoidal category $P[N]$. Yet, this is only a partial axiomatization, since $P[N]$ is built on a concrete, ad hoc chosen, category of symmetries ...
Sassone, V.
core +2 more sources
On the Category of Petri Net Computations [PDF]
, 1995 We introduce the notion of strongly concatenable process as a refinement of concatenable processes [DMM89] which can be expressed axiomatically via a functor $Q[-]$ from the category of Petri nets to an appropriate category of symmetric strict monoidal ...
Sassone, V.
core +2 more sources
Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems
IEEE Access, 2020 Extended colored logic Petri nets (ECLPNs) are extensions of logic Petri nets (LPNs) and colored logic Petri nets (CLPNs). They are equivalent to LPNs and CLPNs, which can describe the batch processing and indeterminacy functions of resources in ...
Zhen Wang +3 more
doaj +1 more source
An Axiomatization of the Algebra of Petri Net Concatenable Processes [PDF]
, 1996 The concatenable processes of a Petri net $N$ can be characterized abstractly as the arrows of a symmetric monoidal category $Pn(N)$. However, this is only a partial axiomatization, since it is based on a concrete, ad hoc chosen, category of symmetries ...
Sassone, V.
core +2 more sources
Information systems validation using formal models [PDF]
Management Science Letters, 2014 During the past few years, there has been growing interest to use unified modeling language (UML) to consider the functional requirements. However, lacking a tool to detect the accuracy and the logic of diagrams in this language makes a formal model ...
Azadeh Sarram , Ali Harounabadi
doaj +1 more source
Evolving concurrent Petri net models of epistasis [PDF]
, 2010 A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational models of concurrent processes.
Beretta, Lorenzo, Mayo, Michael
core +1 more source
Advances in Mechanical Engineering, 2019 This study aims to model, analyze, and evaluate performance of a flexible manufacturing system, constituting a carousel-based manufacturing and assembly cells layout, configured to produce mixed-model multiple products employing inter-/intra-cellular ...
Hafiz Zahid Nabi, Tauseef Aized
doaj +1 more source
Petri Net based modeling and analysis for improved resource utilization in cloud computing [PDF]
PeerJ Computer Science, 2021 The cloud is a shared pool of systems that provides multiple resources through the Internet, users can access a lot of computing power using their computer.
Muhammad Rizwan Ali +7 more
doaj +2 more sources
Colored Petri Net Based Cache Side Channel Vulnerability Evaluation
IEEE Access, 2019 The cache side channel leakage is a very serious security issue in the information security field. In order to solve this problem, a large number of security mechanisms have been applied to protect the cache.
Limin Wang +3 more
doaj +1 more source
Comparative Analysis of Sequential and Combinatorial Auctions Based on Petri Nets
IEEE Access, 2018 An auction is a crucial resource allocation mechanism for a supply chain and includes the purchasing price at the winner's bid value, eligible suppliers in winning bidder sets, and business payment terms. A multi-object auction usually involves two types
Xiaodan Zhang +4 more
doaj +1 more source