Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition

Hamed Ghasemieh, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort, M. Gribaudo

Research output: Other contribution

19 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Engineering