Results 121 to 130 of about 826,508 (206)

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +1 more source

Dynamic Simulation and Modeling of a Novel NeuRaiSya for Railway Monitoring System Using Petri Nets. [PDF]

Sensors (Basel)
Deplomo BNI, Villaverde JF, Paglinawan AC.   +2 more
europepmc   +1 more source

Design patterns for the construction of computational biological models. [PDF]

Brief Bioinform
Herajy M, Liu F, Heiner M.
europepmc   +1 more source

Dynamics of spindle assembly and position checkpoints: Integrating molecular mechanisms with computational models. [PDF]

Comput Struct Biotechnol J
Ibrahim B.
europepmc   +1 more source

scRNA-seq analysis shows neutrophil extracellular traps as drivers of obstruction-induced intestinal damage in rats. [PDF]

Commun Biol
Li Z, Ye Y, Wang P, Long F, Zhang Y, Zheng X, Lin C, Li X, Bai Y, Zhang Y.   +9 more
europepmc   +1 more source

MPAT: Modular Petri Net Assembly Toolkit. [PDF]

SoftwareX
Chiaradonna S, Jevtić P, Sterner B.
europepmc   +1 more source

Petri graph neural networks advance learning higher order multimodal complex interactions in graph structured data. [PDF]

Sci Rep
Ademovic Tahirovic A, Angeli D, Tahirovic A, Strbac G.   +3 more
europepmc   +1 more source

Modeling and Simulating Complex Conflict Management Using Reaction Networks. [PDF]

Entropy (Basel)
Veloz T, Bruin D, De Coning C.
europepmc   +1 more source

Automatic construction of Petri net models for computational simulations of molecular interaction network. [PDF]

NPJ Syst Biol Appl
Lin X, Chang X, Zhang Y, Gao Z, Chi X.
europepmc   +1 more source

Fuzzy Petri Nets for Traffic Node Reliability. [PDF]

Sensors (Basel)
Kiss G, Bakucz P.
europepmc   +1 more source