PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Heiner, Monika"

Author of the publication

copydeleteadd this publication to your clipboard
Time Petri Nets for Modelling and Analysis of Biochemical Networks.

, , and . Fundam. Inform., 67 (1-3): 149-162 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Heiner Dörner University of Stuttgart

Dr. Heiner Lasi University of Stuttgart

Dr. Monika Schulz University of Stuttgart

Monika Kunz University of Stuttgart

Monika Truong University of Stuttgart

 

Other publications of authors with the same name

On the Importance of the Deadlock Trap Property for Monotonic Liveness., , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 23-38. CEUR-WS.org, (2010)Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking., , , and . BMC Bioinformatics, 20-S (4): 173:1-173:23 (2019)Snoopy - a unifying Petri net framework to investigate biomolecular networks., , and . Bioinformatics, 26 (7): 974-975 (2010)Modeling membrane systems using colored stochastic Petri nets., and . Natural Computing, 12 (4): 617-629 (2013)MARCIE's Secrets of Efficient Model Checking., , , and . T. Petri Nets and Other Models of Concurrency, (2016)An Improved simulation of Hybrid biological Models with Many stochastic Events and quasi-Disjoint Subnets., and . WSC, page 1346-1357. IEEE, (2018)CSL Model Checking of Biochemical Networks with Interval Decision Diagrams., and . CMSB, volume 5688 of Lecture Notes in Computer Science, page 296-312. Springer, (2009)Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint Deterministic and Stochastic Subnets., and . HSB, volume 9957 of Lecture Notes in Computer Science, page 20-38. (2016)An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways., , , and . Workshop on Membrane Computing, volume 5391 of Lecture Notes in Computer Science, page 13-28. Springer, (2008)A Petri Net View of Process Communication.. FBT, page 126-141. K. G. Saur Verlag, (1992)