Symbolic modeling of signal transduction in pathway logic
Proceedings of the 38th conference on Winter simulation
An analysis of the Petri net based model of the human body iron homeostasis process
Computational Biology and Chemistry
Petri net based description and modeling of metabolic pathway
Proceedings of the 2007 Summer Computer Simulation Conference
Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets
Computational Biology and Chemistry
Modeling the process of human body iron homeostasis using a variant of timed Petri nets
Discrete Applied Mathematics
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
XML representation of metabolic P systems
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Hybrid Functional Petri Nets as MP systems
Natural Computing: an international journal
The pathalyzer: a tool for analysis of signal transduction pathways
RECOMB'05 Proceedings of the 2005 joint annual satellite conference on Systems biology and regulatory genomics
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
An algorithmic framework for network reconstruction
Theoretical Computer Science
Boundedness analysis for open Chemical Reaction Networks with mass-action kinetics
Natural Computing: an international journal
Natural Computing: an international journal
Petri net models for the semi-automatic construction of large scale biological networks
Natural Computing: an international journal
Simplification of a complex signal transduction model using invariants and flow equivalent servers
Theoretical Computer Science
Multiple representations of biological processes
Transactions on Computational Systems Biology VI
Neural system modeling and simulation using hybrid functional Petri net
Proceedings of the 2nd ACM Conference on Bioinformatics, Computational Biology and Biomedicine
Biomodel engineering – from structure to behavior
Transactions on Computational Systems Biology XII
Modeling of chemokine signaling pathway
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Toward the role of interaction in visual analytics
Proceedings of the Winter Simulation Conference
On the subgraph epimorphism problem
Discrete Applied Mathematics
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta
Electronic Notes in Theoretical Computer Science (ENTCS)
On Minimality and Equivalence of Petri Nets
Fundamenta Informaticae - Concurrency, Specification and Programming
Hi-index | 0.00 |