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]
Azim N +6 more
europepmc +1 more source
Petri Net Structural Reduction for Temporal Epistemic Logic Verification in Multi-Agent Systems
Tong Guo, Meiqin Pan, Zhijun Ding
openalex +1 more source
Petri Net Approach for Algorithms Design and Implementation
Peter Jakubčo, Slavomír Šimoňák
openalex +1 more source
High electrical performance alone does not guarantee efficient bioelectronic signal transduction. Despite excellent mixed ionic‐electronic conduction, recordings from cardiomyocytes reveal that p(g2T‐TT)‐based OECTs predominantly transduce field potential FP‐like signals due to weak cell‐polymer coupling.
Giulia Zoe Zemignani +10 more
wiley +1 more source
Formal Verification for Task Description Languages. A Petri Net Approach. [PDF]
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
Despite widespread exposure, the mechanisms of manganese neurotoxicity remain poorly understood. Using correlative cryogenic fluorescence and synchrotron X‐ray fluorescence imaging techniques, we show that the Golgi apparatus is the primary accumulation site for manganese in both neurons and astrocytes, and that manganese targets the neuronal ...
Ines Kelkoul +12 more
wiley +1 more source
In this study, the orange‐muscle giant abalone (Haliotis gigantea) is used as a model to identify a non‐coding SNP that disrupts the interaction between ITGA8 pre‐mRNA and the splicing factor ILF2, leading to altered ITGA8 splicing. These splicing changes promote carotenoid accumulation in abalone muscle through the regulation of tissue remodeling ...
Xiaohui Wei +17 more
wiley +1 more source
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]
Sawamura J, Morishita S, Ishigooka J.
europepmc +1 more source
A Petri Net Approach to Verify and Debug Simulation Models
Peter Kemper, Carsten Tepper
openalex +2 more sources

