{"id":"W2092973885","doi":"10.3166/jesa.43.805-819","title":"Contrôle décentralisé de systèmes symboliques infinis sous observation partielle","year":2009,"lang":"fr","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Deadlock; Computer science; Interpretation (philosophy); Set (abstract data type); State (computer science); Theoretical computer science; Algorithm; Programming language","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.004305113,0.0008578044,0.001307712,0.0004928734,0.001435313,0.00362015,0.002112318,0.000512758,0.0001242005],"category_scores_gemma":[0.001129901,0.0008627463,0.0005614217,0.001406788,0.000256378,0.003433325,0.0002880134,0.001366419,0.0003670941],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001751578,"about_ca_system_score_gemma":0.00135338,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002486662,"about_ca_topic_score_gemma":0.00002539721,"domain_scores_codex":[0.9901628,0.003078446,0.002278647,0.0008614754,0.001475516,0.002143061],"domain_scores_gemma":[0.9944525,0.000644276,0.001674789,0.001122792,0.001128492,0.0009771156],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005224196,0.0003996976,0.00274684,0.0005385758,0.0002920317,0.001427687,0.01063117,0.01990599,0.001180308,0.07773912,0.02453675,0.8605496],"study_design_scores_gemma":[0.001442109,0.001088112,0.1303851,0.005984369,0.0002240728,0.01319847,0.0003983653,0.7660386,0.0006914157,0.05560529,0.02371422,0.001229864],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2692026,0.06367932,0.632687,0.01919812,0.00740817,0.0008514369,0.00004728745,0.001264721,0.005661299],"genre_scores_gemma":[0.8996037,0.003398204,0.08469744,0.001729458,0.002055652,0.00001698808,0.000006208495,0.0001029133,0.008389489],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8593197,"threshold_uncertainty_score":0.9998647,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04723664356549936,"score_gpt":0.2833565107809071,"score_spread":0.2361198672154077,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}