A Aralex Aachen research explorer

June 01, 2017 conference-paper

Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions

IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

DOI: 10.1109/dsn.2017.41 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 27

ARCH-COMP20 Category Report: Stochastic Models
2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access

10

citations
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

6

citations

2 results

References 0