Consistency's checking of chronicles' set Using Time Petri Nets

International audience

Data and Resources

Additional Info

Field Value
Source Proceeding of MED'2010
Author Saddem, Ramla, Toguyeni, Armand, Tagina, Moncef
Maintainer CCSD
Last Updated May 12, 2026, 11:54 (UTC)
Created May 12, 2026, 11:54 (UTC)
Identifier hal-00801580
Language en
contributor Systèmes Tolérants aux Fautes (STF) ; Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) ; Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)
coverage Marrakech, Morocco
creator Saddem, Ramla
date 2010-06-23T00:00:00
harvest_object_id c0def87d-3668-4e96-8f9b-f437f16da6d8
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2024-05-31T00:00:00
set_spec type:COMM