Author:
Blätke Mary Ann,Rohr Christian,Heiner Monika,Marwan Wolfgang
Publisher
Springer International Publishing
Reference83 articles.
1. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time Markov chains. ACM Trans. Comput. Log. 1(1), 162–170 (2000)
2. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524–541 (2003)
3. Ballarini, P., Mardare, R., Mura, I.: Analysing biochemical oscillation through probabilistic model checking. Electron. Notes Theor. Comput. Sci. 229(1), 3–19 (2009)
4. Baumgarten, B.: Petri-Netze—Grundlagen und Anwendungen. Spektrum, München (1996)
5. Blätke, M.A., Meyer, S., Stein, C., Marwan, W.: Petri net modeling via a modular and hierarchical approach applied to nociception. In: Int. Workshop on Biological Processes & Petri Nets (BioPPN), Satellite Event of Petri Nets 2010, pp. 131–145 (2010)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Partial Petri Net Languages and their Properties;International Journal of Information Technology;2024-06-05
2. Intentional Semantics for Molecular Biology;Advances in Bioinformatics and Computational Biology;2023
3. Advances in flux balance analysis by integrating machine learning and mechanism-based models;Computational and Structural Biotechnology Journal;2021
4. MARCIE’s Secrets of Efficient Model Checking;Transactions on Petri Nets and Other Models of Concurrency XI;2016
5. Charlie – An Extensible Petri Net Analysis Tool;Application and Theory of Petri Nets and Concurrency;2015