{"id":"W132656104","doi":"10.1007/bfb0033529","title":"Hierarchical COCOLOG for finite machines","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in control and information sciences","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Computer science","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006431294,0.0004398054,0.000627575,0.001734699,0.001543016,0.001701823,0.0009167329,0.0009300302,0.01447846],"category_scores_gemma":[0.002514956,0.0004955175,0.000975212,0.001348815,0.002240951,0.00293498,0.001678681,0.001932213,0.001711652],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001594793,"about_ca_system_score_gemma":0.0006186297,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001663336,"about_ca_topic_score_gemma":0.002210488,"domain_scores_codex":[0.9993591,0.0001648189,0.00003641583,0.0001531565,0.0001847933,0.0001017259],"domain_scores_gemma":[0.9987173,0.0006047664,0.00008090095,0.0002595663,0.0002162902,0.0001210665],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009918674,0.000007161704,0.00005474006,0.00002367634,0.000002100647,0.00003156804,0.00006598995,0.001049288,0.0003590187,0.9890711,0.0009208154,0.008404493],"study_design_scores_gemma":[0.000007211603,0.000009007775,0.00006875722,0.00001126813,0.000004004857,0.0000520667,0.00003881409,0.0119225,0.0004963629,0.9772783,0.01010515,0.000006562871],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02474969,0.001112354,0.8676106,0.000458643,0.0004118317,0.00009922172,0.0002306703,0.0009683534,0.1043587],"genre_scores_gemma":[0.6344159,0.0008770415,0.3012923,0.000482863,0.0006296502,0.000402577,0.0009599325,0.000694976,0.06024474],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01447846,"threshold_uncertainty_score":0.04843521,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01869859360682992,"score_gpt":0.261116392847081,"score_spread":0.2424177992402511,"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."}}