Petri Net modelling approach for analysing the behaviour of Wnt/[inline-formula removed]-catenin and Wnt/Ca2+ signalling pathways in arrhythmogenic right ventricular cardiomyopathy. [PDF]
IET Syst Biol, 2020 Azim N +6 more
europepmc +1 more source
A Petri Net Approach to Verify and Debug Simulation Models
, 2006 Peter Kemper, Carsten Tepper
openalex +2 more sources
Formal Verification for Task Description Languages. A Petri Net Approach. [PDF]
Sensors (Basel), 2019 López J +2 more
europepmc +1 more source
A Petri Net-based Algorithm for Solving the One-Dimensional Cutting Stock Problem
Irving Barragán-Vite +3 more
openalex +2 more sources
Several supplementary concepts for applied category-theoretical states over an extended Petri net using an example relating to genetic coding: Toward an abstract algebraic formulation of molecular/genetic biology. [PDF]
PLoS OneSawamura J, Morishita S, Ishigooka J.
europepmc +1 more source
Deterministic Petri Net Languages as Business Process Specification Language
, 2006 Manu De Backer, Monique Snoeck
openalex +1 more source
Petri net-based model of the human DNA base excision repair pathway. [PDF]
PLoS One, 2019 Radom M +4 more
europepmc +1 more source