Results 171 to 180 of about 145,352 (236)
A computational approach based on the colored Petri net formalism for studying multiple sclerosis. [PDF]
BMC Bioinformatics, 2019 Pernice S +9 more
europepmc +1 more source
Structural analysis of a Petri net model of oxidative stress in atherosclerosis. [PDF]
IET Syst Biol, 2018 Kozak A, Formanowicz D, Formanowicz P.
europepmc +1 more source
Petri-net-based 2D design of DNA walker circuits. [PDF]
Nat Comput, 2018 Gilbert D, Heiner M, Rohr C.
europepmc +1 more source
Mapping AADL to Petri Net Tool-Sets Using PNML Framework
, 2014 Hassan Reza, Amrita Chatterjee
openalex +2 more sources
Petri net-based prediction of therapeutic targets that recover abnormally phosphorylated proteins in muscle atrophy. [PDF]
BMC Syst Biol, 2018 Jung J, Kwon M, Bae S, Yim S, Lee D.
europepmc +1 more source
Parallel Diagnosability Analysis with LTL-X Model Checking based on Petri Net Unfoldings
, 2014 Laura Brandán-Briones +2 more
openalex +1 more source
TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays
, 2015 Ádám Horváth, András Molnár
openalex +1 more source