Skip to main content

A Steering Server for Collaborative Simulation of Quantitative Petri Nets

  • Conference paper
Application and Theory of Petri Nets and Concurrency (PETRI NETS 2014)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8489))

Abstract

In this paper we present a Petri net simulation tool called Snoopy Steering and Simulation Server, S 4 for short, which works as a stand-alone extension of Snoopy. The server permits users to share and interactively steer quantitative Petri net models during a running simulation. Moreover, users can collaborate by controlling the execution of a model remotely from different machines (clients). S 4 is shipped with an Application Programming Interface (API) which enables user-defined extensions of the core functionalities. Stochastic, continuous and hybrid Petri nets are supported, both as low-level and coloured ones. S 4 is platform-independent and distributed free of charge for academic use.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

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. Boost website, http://www.boost.org/ (accessed: January 14, 2014)

  2. CPN tools website, http://cpntools.org/ (accessed: January 10, 2014)

  3. Virtual cell website, http://vcell.org/ (accessed: January 10, 2014)

  4. wxWidgets website, http://www.wxwidgets.org/ (accessed: January 15, 2014)

  5. Barkai, N., Leibler, S.: Biological rhythms: circadian clocks limited by noise. Nature 403, 267–268 (2000)

    Article  Google Scholar 

  6. Gao, Q., Gilbert, D., Heiner, M., Liu, F., Maccagnola, D., Tree, D.: Multiscale Modelling and Analysis of Planar Cell Polarity in the Drosophila Wing. IEEE/ACM Transactions on Computational Biology and Bioinformatics 10(2), 337–351 (2013)

    Article  Google Scholar 

  7. Gilbert, D., Heiner, M.: From Petri nets to differential equations - an integrative approach for biochemical network analysis. In: Donatelli, S., Thiagarajan, P. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 181–200. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  8. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25), 2340–2361 (1977)

    Article  Google Scholar 

  9. Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M.: Snoopy – A unifying Petri net tool. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 398–407. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  10. Herajy, M.: Computational Steering of Multi-Scale Biochemical Networks. Ph.D. thesis, BTU Cottbus, Dep. of CS (January 2013)

    Google Scholar 

  11. Herajy, M., Heiner, M.: Hybrid representation and simulation of stiff biochemical networks. J. Nonlinear Analysis: Hybrid Systems 6(4), 942–959 (2012)

    MathSciNet  MATH  Google Scholar 

  12. Herajy, M., Heiner, M.: Snoopy Computational Steering Framework – User Manual Version 1.0. Tech. Rep. 02-13, BTU Cottbus, Dept. of CS (July 2013)

    Google Scholar 

  13. Herajy, M., Heiner, M.: Petri net-based collaborative simulation and steering of biochemical reaction networks. Fundamenta Informatica (129), 49–67 (2014)

    Google Scholar 

  14. Herajy, M., Schwarick, M., Heiner, M.: Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle. In: Koutny, M., van der Aalst, W.M.P., Yakovlev, A. (eds.) ToPNoC VIII. LNCS, vol. 8100, pp. 123–141. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  15. Hindmarsh, A., Brown, P., Grant, K., Lee, S., Serban, R., Shumaker, D., Woodward, C.: Sundials: Suite of nonlinear and differential/algebraic equation solvers. ACM Trans. Math. Softw. 31, 363–396 (2005)

    Article  MathSciNet  Google Scholar 

  16. Korečko, Š., Marcinčin, J., Slodičák, V.: CPN Assistant II: A tool for management of networked simulations. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 408–417. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  17. Marwan, W., Rohr, C., Heiner, M.: Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks. In: Methods in Molec. Biol., vol. 804, ch. 1, pp. 409–437 (2012)

    Google Scholar 

  18. Matsuno, H., Nagasaki, M., Miyano, S.: Hybrid Petri net based modeling for biological pathway simulation. Natural Computing 10(3), 1099–1120 (2011)

    Article  MathSciNet  Google Scholar 

  19. Nagasaki, M., Saito, A., Jeong, E., Li, C., Kojima, K., Ikeda, E., Miyano, S.: Cell Illustrator 4.0: a Computational Platform for Systems Biology. Silico Biology 10 (2010)

    Google Scholar 

  20. Rohr, C., Marwan, W., Heiner, M.: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7), 974–975 (2010) (Advanced Access published February 7, 2010)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Herajy, M., Heiner, M. (2014). A Steering Server for Collaborative Simulation of Quantitative Petri Nets. In: Ciardo, G., Kindler, E. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2014. Lecture Notes in Computer Science, vol 8489. Springer, Cham. https://doi.org/10.1007/978-3-319-07734-5_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-07734-5_21

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-07733-8

  • Online ISBN: 978-3-319-07734-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics