Results 71 to 80 of about 23,744 (217)

A Method of Sample Models of Program Construction in Terms of Petri Nets

Моделирование и анализ информационных систем, 2015
In the article a method of automated construction of Petri nets simulating the behaviour of imperative programs is considered from the formal point of view.
D. I. Kharitonov, E. A. Golenkov, G. V. Tarasov, D. V. Leontyev   +3 more
doaj   +1 more source

Petri nets for systems and synthetic biology

, 2008
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uni¯es the qualita- tive, stochastic and continuous paradigms.
Donaldson, R, Heiner, M, Gilbert, D, Monika Heiner, Robin Donaldson, David Gilbert   +5 more
core  

Performance Optimization for a Class of Petri Nets. [PDF]

Sensors (Basel), 2023
Shi W, He Z, Gu C, Ran N, Ma Z.
europepmc   +1 more source

MPath2PN - Translating Metabolic Pathways into Petri Nets [PDF]

, 2011
We propose MPath2PN, a tool which automatically translates metabolic pathways, as described in the major biological databases, into corresponding Petri net representations. The aim is to allow for a systematic reuse, in the setting of metabolic pathways,
De Nes F., Cocco N., Marta Simeoni, Llabres Segura M., Baldan P, BALDAN, PAOLO, Merce Llabres Segura, SIMEONI, Marta, Marin A., Andrea Marin, Simeoni M., Nicoletta Cocco, Francesco De Nes, COCCO, Nicoletta, MARIN, Andrea   +14 more
core  

On questions of fairness and temporal logic for conflict-free Petri nets

, 2005
In this paper, we examine the complexity of the fair nontermination problem for conflict-free Petri nets under several definitions of fairness. For each definition of fairness, we are able to show the problem to be complete for either NP, PTIME, or ...
Howell, Rodney R., Howell, R., Rosier, Louis E.   +2 more
core   +1 more source

A structured approach for the engineering of biochemical network models, illustrated for signalling pathways [PDF]

, 2008
http://dx.doi.org/10.1093/bib/bbn026Quantitative models of biochemical networks (signal transduction cascades, metabolic pathways, gene regulatory circuits) are a central component of modern systems biology.
Heiner, M., Heiner, Monika, Gilbert, David, Orton, R., Gilbert, David,, Breitling, Rainer, Gilbert, D, Breitling, R., Breitling, Rainer,, Orton, R, Orton, Richard, Breitling, R, Orton, Richard,, Heiner, M, Gilbert, D., Heiner, Monika,   +15 more
core   +1 more source

An analytical method for well-formed workflow/Petri net verification of classical soundness

International Journal of Applied Mathematics and Computer Science, 2014
In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes.
Clempner Julio
doaj   +1 more source

Measuring ancient technological complexity and its cognitive implications using Petri nets. [PDF]

Sci Rep, 2023
Fajardo S, Kozowyk PRB, Langejans GHJ.
europepmc   +1 more source

A Comparison of Petri Net Semantics under the Collective Token Philosophy

, 1998
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent ...
Meseguer, J., Roberto Bruni, Bruni, R., Ugo Montanari, Vladimiro Sassone, Montanari, U., Sassone, V., José Meseguer   +7 more
core   +1 more source

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 ...
Vladimiro Sassone, Sassone, V.
core   +1 more source