Skip to main content
Springer Nature Link
Log in

Compositional Definitions of Minimal Flows in Petri Nets

  • Conference paper
Computational Methods in Systems Biology (CMSB 2008)

Part of the book series: Lecture Notes in Computer Science ((LNBI,volume 5307))

Included in the following conference series:

Abstract

This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its components. The notion of modularity employed is based on place sharing. It is shown that transition and place flows are not dual in a modular sense under place sharing alone, but that the duality arises when also considering transition sharing. As an application, the modular definitions are used to give compositional definitions of transition and place flows of models in a subset of the Calculus of Biochemical Systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  2. Goss, P.J.E., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. PNAS 95(12), 6750–6755 (1998)

    Article  CAS  PubMed  PubMed Central  Google Scholar 

  3. Peleg, M., et al.: Using Petri net tools to study properties and dynamics of biological systems. Journal of the American Medical Informatics Association 12(2), 181–199 (2005)

    Article  PubMed  PubMed Central  Google Scholar 

  4. Hardy, S., Robillard, P.N.: Modeling and simulation of molecular biology systems using Petri nets: Modeling goals of various approaches. J. Bioinformatics and Computational Biology 2(4), 619–638 (2004)

    Article  Google Scholar 

  5. Reddy, V.N., et al.: Petri net representation in metabolic pathways. In: Proc. Int. Conf. Intell. Syst. Mol. Biol., pp. 328–336 (1993)

    Google Scholar 

  6. Zevedei-Oancea, Schuster, S.: Topological analysis of metabolic networks based on Petri net theory. Silico. Biol. 3, 323–345 (2003)

    CAS  Google Scholar 

  7. Heiner, M., et al.: Analysis and simulation of steady states in metabolic pathways with Petri nets. In: Jensen, K. (ed.) Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 15–34 (2001)

    Google Scholar 

  8. Genrich, H., et al.: Executable Petri net models for the analysis of metabolic pathways. J. STTT 3(4), 394–404 (2001)

    Google Scholar 

  9. Voss, K., et al.: Steady state analysis of metabolic pathways using Petri nets. Silico. Biol. 3 (2003)

    Google Scholar 

  10. Heiner, M., Koch, I.: Petri net based model validation in systems biology. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 216–237. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  11. Sackmann, A., et al.: Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics 7(482) (2006)

    Google Scholar 

  12. Lee, D.Y., et al.: Colored Petri net modeling and simulation of signal transduction pathways. Metab. Eng. 8(2), 112–122 (2005)

    Article  PubMed  Google Scholar 

  13. Heiner, M., et al.: Petri nets for systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215–264. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Taubner, C., et al.: Modelling and simulation of the TLR4 pathway with coloured Petri nets. In: Proc. Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Engineering in Medicine and Biology Society, pp. 2009–2012 (2006)

    Google Scholar 

  15. Matsuno, H., et al.: Hybrid Petri net representation of gene regulatory network. In: Pacific Symposium on Biocomputing, vol. 5, pp. 341–352 (2000)

    Google Scholar 

  16. Steggles, L.J., et al.: Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach. Bioinformatics 23(3), 336–343 (2007)

    Article  CAS  PubMed  Google Scholar 

  17. Gilbert, D., et al.: A case study in model-driven synthetic biology. In: Biologically-inspired cooperative computing. IFIP International Federation for Information Processing, vol. 268, pp. 163–175. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  18. Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1. Springer, Heidelberg (1992)

    Book  Google Scholar 

  19. Pedersen, M., Plotkin, G.: A language for biochemical systems. In: Heiner, M., Uhrmacher, A.M. (eds.) Proc. CMSB. LNCS. Springer, Heidelberg (2008)

    Google Scholar 

  20. Kofahl, B., Klipp, E.: Modelling the dynamics of the yeast pheromone pathway. Yeast 21(10), 831–850 (2004)

    Article  CAS  PubMed  Google Scholar 

  21. Krückeberg, F., Jaxy, M.: Mathematical methods for calculating invariants in Petri nets. In: Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, London, UK, pp. 104–131. Springer, Heidelberg (1987)

    Chapter  Google Scholar 

  22. Schuster, S., et al.: A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks. Nature Biotechnology 18, 326–332 (2000)

    Article  CAS  PubMed  Google Scholar 

  23. Plotkin, G.: A calculus of biochemical systems (in preparation)

    Google Scholar 

  24. Pedersen, M.: Compositional definitions of minimal flows in Petri nets. Technical report, University of Edinburgh (2008), http://www.inf.ed.ac.uk/publications/report/1269.html

  25. Reisig, W.: Petri nets. EATCS Monograps on Theoretical Computer Science. Springer, Heidelberg (1982)

    Google Scholar 

  26. Memmi, G., Roucairol, G.: Linear algebra in net theory. In: Proc. Advanced Course on General Net Theory of Processes and Systems, pp. 213–223. Springer, Heidelberg (1980)

    Google Scholar 

  27. Jensen, K.: Coloured Petri Pets: Basic Concepts, Analysis Methods and Practical Use, vol. 2. Springer, Heidelberg (1995)

    Google Scholar 

  28. Bourjij, A., et al.: A decentralized approach for computing invariants in large scale and interconnected Petri nets. In: Proc. IEEE International Conference on Systems, Man, and Cybernetics, vol. 2, pp. 1741–1746 (1997)

    Google Scholar 

  29. Rojar, M.I.C.: Compositional construction and analysis of Petri net systems. PhD thesis, School of Informatics, University of Edinburgh (1998)

    Google Scholar 

  30. Christensen, S., Petrucci, L.: Modular analysis of Petri nets. The Computer Journal 43(3), 224–242 (2000)

    Article  Google Scholar 

  31. Zaitsev, D.A.: Decomposition-based calculation of Petri net invariants. In: Cortadella, Yakovlev (eds.) Proc. Workshop on Token based Computing (ToBaCo), Satellite Event of the 25-th International conference on application and theory of Petri nets, pp. 79–83 (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LFCS, School of Informatics, University of Edinburgh, UK

    Michael Pedersen

Authors
  1. Michael Pedersen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Brandenburg University of Technology, Postbox 10 13 44, 03013, Cottbus, Germany

    Monika Heiner

  2. University of Rostock, Albert-Einstein-Str. 21, D-18059, Rostock, Germany

    Adelinde M. Uhrmacher

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pedersen, M. (2008). Compositional Definitions of Minimal Flows in Petri Nets. In: Heiner, M., Uhrmacher, A.M. (eds) Computational Methods in Systems Biology. CMSB 2008. Lecture Notes in Computer Science(), vol 5307. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88562-7_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88562-7_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88561-0

  • Online ISBN: 978-3-540-88562-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics