Expressing and Computing Passage Time Measures of GSPN Models with HASL

DOI10.1007/978-3-642-38697-8_7zbMath1381.68193OpenAlexW97599027MaRDI QIDQ5300868

Elvio Gilberto Amparore, Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis, Marco Beccuti

Publication date: 28 June 2013

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38697-8_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Applications of an expressive statistical model checking approach to the analysis of genetic circuits ⋮ Guarded autonomous transitions increase conciseness and expressiveness of timed automata

Uses Software

• COSMOS
• HASL

This page was built for publication: Expressing and Computing Passage Time Measures of GSPN Models with HASL