( en | de | ru )

 

Disambiguation of "Remke, Anne"

Author of the publication

copydeleteadd this publication to your clipboard
State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.

, , , , , and . ACM Trans. Model. Comput. Simul., 31 (3): 13:1-13:37 (2021)

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.

Harald Remke

Barbara Remke

Klaus Remke

Klaus Remke

Ulrike Remke

 

Other publications of authors with the same name

Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study., , , and . EPEW, volume 6977 of Lecture Notes in Computer Science, page 133-147. Springer, (2011)Hybrid Petri nets with multiple stochastic transition firings., , and . EAI Endorsed Trans. Self-Adaptive Systems, 1 (3): e1 (2015)Fitting a code-red virus spread model: An account of putting theory into practice., , , and . DRCN, page 39-46. IEEE, (2016)Hybrid Petri nets with general one-shot transitions., and . Perform. Evaluation, (2016)Improving SCADA security of a local process with a power grid model., , and . ICS-CSR, BCS, (2016)CSL Model Checking Algorithms for Infinite-State Structured Markov Chains., and . FORMATS, volume 4763 of Lecture Notes in Computer Science, page 336-351. Springer, (2007)Performance Evaluation for Collision Prevention Based on a Domain Specific Language., , , and . EPEW, volume 8168 of Lecture Notes in Computer Science, page 276-287. Springer, (2013)Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra., and . EPEW, volume 10497 of Lecture Notes in Computer Science, page 101-116. Springer, (2017)State-space construction of Hybrid Petri nets with multiple stochastic firings., , , , , and . CoRR, (2020)Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process., and . VALUETOOLS, ACM, (2016)