Results 81 to 90 of about 23,744 (217)
Protocol for biomodel engineering of unilevel to multilevel biological models using colored Petri nets. [PDF]
STAR Protoc, 2023 Liu F, Heiner M, Gilbert D.
europepmc +1 more source
Electronic Notes in Theoretical Computer Science, 2005 AbstractPersistence of information is common in modern computer systems. This paper describes how to extend Petri nets, a traditional model of concurrent and distributed computations, to take account of conditions that are persistent. We found use for this kind of nets in modelling untrustworthy networks on which messages are exchanged according to a ...
Federico Crazzolara, Glynn Winskel
openaire +1 more source
Algebraic Models for Contextual Nets
, 2000 We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net ...
SASSONE V. +5 more
core +1 more source
Test of preemptive real-time systems [PDF]
, 2008 Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time systems.
K. Mustapha Rahmouni +5 more
core +1 more source
Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets. [PDF]
PLoS One, 2023 Ahmad F +6 more
europepmc +1 more source
Modeling and analyzing the action process of monoamine hormones in depression: a Petri nets-based intelligent approach. [PDF]
Front Big Data, 2023 Wang X +6 more
europepmc +1 more source
A Petri Nets-based Scheduling Methodology forMultipurpose Batch Plants.
, 2005 This article presents an optimization methodology of batch production processes assembled by shared resources which rely on a mapping of state-events into time-events allowing in this way the straightforward use of a well consolidated scheduling policies
Narciso, Mercedes +2 more
core
Evolving concurrent Petri net models of epistasis
, 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
Modelling and measuring complexity of traditional and ancient technologies using Petri nets. [PDF]
PLoS One, 2022 Fajardo S +3 more
europepmc +1 more source
Petri nets and their applications
, 1991 Petri nets are named in honor of Dr. Carl A. Petri for his famous Ph.D dissertation of general net theory in 1962. A substantial amount of work utilizing and modifying the Petri nets has been done since then, and they have turned out to be very useful in
Jin, Wei
core