Mochy : a tool for the modeling of concurrent hybrid systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Mochy : a tool for the modeling of concurrent hybrid systems

Résumé

This paper introduces MOCHY, a tool designed for the modeling of concurrent systems with variants of stochastic, timed and hybrid Petri nets. Beyond modeling, the tool serves as a platform for fast simulation, and can be used for statistical verification of properties, controller testing, and learning of control rules. The targeted models are variants of stochastic and timed nets where tokens can be continuous quantities depicting trajectories of moving objects. The architecture of the tool is designed to be as adaptive as possible, and allow the redefinition of objects behaviors or transitions firing through the refinement of a few semantic rules. The framework also allows for the integration of controllers. For any model variant, MOCHY can perform fast simulation, and perform statistical verification, evaluate some quantitative properties of a model, or learn control rules for reachability or quantitative objectives.
Fichier principal
Vignette du fichier
Mochy-Petri-Nets.pdf (334.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04311218 , version 1 (28-11-2023)

Licence

Paternité

Identifiants

Citer

Loïc Hélouët, Antoine Thébault. Mochy : a tool for the modeling of concurrent hybrid systems. Petri Nets 2023 - 44th International Conference on Application and Theory of Petri Nets and Concurrency, NOVA University Lisbon, Jun 2023, Lisbonne, Portugal. pp.1-11, ⟨10.1007/978-3-031-33620-1_11⟩. ⟨hal-04311218⟩
25 Consultations
21 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More