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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Boost website, http://www.boost.org/ (accessed: January 14, 2014)
CPN tools website, http://cpntools.org/ (accessed: January 10, 2014)
Virtual cell website, http://vcell.org/ (accessed: January 10, 2014)
wxWidgets website, http://www.wxwidgets.org/ (accessed: January 15, 2014)
Barkai, N., Leibler, S.: Biological rhythms: circadian clocks limited by noise. Nature 403, 267–268 (2000)
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)
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)
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25), 2340–2361 (1977)
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)
Herajy, M.: Computational Steering of Multi-Scale Biochemical Networks. Ph.D. thesis, BTU Cottbus, Dep. of CS (January 2013)
Herajy, M., Heiner, M.: Hybrid representation and simulation of stiff biochemical networks. J. Nonlinear Analysis: Hybrid Systems 6(4), 942–959 (2012)
Herajy, M., Heiner, M.: Snoopy Computational Steering Framework – User Manual Version 1.0. Tech. Rep. 02-13, BTU Cottbus, Dept. of CS (July 2013)
Herajy, M., Heiner, M.: Petri net-based collaborative simulation and steering of biochemical reaction networks. Fundamenta Informatica (129), 49–67 (2014)
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)
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)
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)
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)
Matsuno, H., Nagasaki, M., Miyano, S.: Hybrid Petri net based modeling for biological pathway simulation. Natural Computing 10(3), 1099–1120 (2011)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)