Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Marechal Marin, Alexis Ayar"'
Autor:
Marechal Marin, Alexis Ayar
Petri nets are a modeling formalism that allows to describe concurrent systems with an intuitive and at the same time formal notation. When trying to represent real world-sized systems, the most simple versions of Petri nets tend to be extremely comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f449a61c39f5522d1b45c1045c2a54cf
Publikováno v:
Proceedings of the workshops APNOC and SUMo, Braga, June 22, 2010 pp. 97-111
Benchmarking is a fundamental activity to rigorously quantify the improvements of a new approach or tool with respect to the state of the art. Generally, it consists in comparing results of a given technique with more or less similar approaches. In t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1400::5431f795da31c16a3dd47899652ba1d6
https://archive-ouverte.unige.ch/unige:9825
https://archive-ouverte.unige.ch/unige:9825
Model Checking consists in verifying if a model of a given system meets a set of requirements. The model and the properties can be specified with various formalisms. We chose Algebraic Petri Nets (APNs), a powerful formalism used to model concurrent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1400::7f136ae07ce43a22c0f04ce3a1d167ec
https://archive-ouverte.unige.ch/unige:26582
https://archive-ouverte.unige.ch/unige:26582