{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001321504,0.0006764535,0.0009254021,0.0004278726,0.0006846125,0.001410633,0.0008387227,0.0005591156,0.002282475],"category_scores_gemma":[0.003361198,0.0004905204,0.0008057691,0.0003391024,0.001859584,0.001348266,0.001248462,0.001584166,0.0002516281],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001259961,"about_ca_system_score_gemma":0.001191081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005449329,"about_ca_topic_score_gemma":0.006272851,"domain_scores_codex":[0.9991341,0.0002147545,0.00003790043,0.0002476014,0.0002657837,0.00009989939],"domain_scores_gemma":[0.9973786,0.001761123,0.0002636817,0.0003224678,0.0001762945,0.00009775101],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007016483,0.0001575724,0.002616317,0.0002267373,0.00007232764,0.0003630599,0.0006888637,0.7521632,0.05301268,0.1087815,0.0006207808,0.08059534],"study_design_scores_gemma":[0.00009046606,0.0001008261,0.000313332,0.00001008574,0.00001366612,0.00004548572,0.00003179069,0.973251,0.01118734,0.0137564,0.001185525,0.00001410192],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06672519,0.000079679,0.9303471,0.00009682366,0.00001848977,0.00004050555,0.00002627384,0.0009874554,0.001678503],"genre_scores_gemma":[0.8482036,0.0001171616,0.1479757,0.00003758865,0.00002854787,0.0001320226,0.00006733803,0.00008466565,0.003353525],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005449329,"threshold_uncertainty_score":0.01083523,"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."}}