Hierarchies in Coloured Petri Nets
APN 90 Proceedings on Advances in Petri nets 1990
Executing multicellular differentiation
Bioinformatics
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
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
How might petri nets enhance your systems biology toolkit
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
From petri nets to differential equations – an integrative approach for biochemical network analysis
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Snoopy --- a unifying petri net tool
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
An efficient method for unfolding colored Petri nets
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
In this paper we introduce a technique to encode spatial attributes of dynamic systems using coloured Petri nets and show how it can be applied to biological systems within the spirit of BioModel Engineering. Our approach can be equally applied to qualitative, stochastic, continuous or hybrid models of the same physical system, and can be used as the basis for multiscale modelling. We illustrate our approach with two case studies, one from the continuous and one from the stochastic paradigm. In this paper we only discuss the case of finite colours, and by unfolding our method can take advantage of all the analytical machinery and simulation techniques that have been developed for the uncoloured family of Petri net classes.