{"id":"W2771187553","doi":"","title":"Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings","year":2016,"lang":"en","type":"book","venue":"Springer eBooks","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Library science; Computer science","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.002068901,0.001050795,0.0008753425,0.001297734,0.0009087416,0.003433841,0.001872458,0.0006173892,0.01123367],"category_scores_gemma":[0.002642653,0.0007318907,0.001136401,0.001143988,0.002434456,0.001179032,0.000834161,0.001280338,0.001963987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008385952,"about_ca_system_score_gemma":0.009788099,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.3136623,"about_ca_topic_score_gemma":0.3043638,"domain_scores_codex":[0.9991172,0.0001950188,0.00006028329,0.0001024848,0.0004443407,0.00008063488],"domain_scores_gemma":[0.9985329,0.0005433401,0.0000515282,0.0002266936,0.0005775744,0.00006800562],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001326877,0.0001133535,0.001168139,0.0005588563,0.00009920258,0.0003580083,0.0009023066,0.112887,0.0129211,0.5888388,0.06333729,0.2186832],"study_design_scores_gemma":[0.0000594864,0.0000529147,0.001353368,0.0003858141,0.00007073359,0.000237707,0.000276473,0.4154568,0.008018967,0.2332696,0.3407456,0.00007259464],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.003929306,0.004256651,0.9616694,0.0009708843,0.0007815267,0.0001294576,0.0008046273,0.001364252,0.02609381],"genre_scores_gemma":[0.1320871,0.01231872,0.6720487,0.0003553823,0.0004491402,0.0004564516,0.004673933,0.001564329,0.1760462],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.3136623,"threshold_uncertainty_score":0.6236731,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02204180170643774,"score_gpt":0.2246106175936285,"score_spread":0.2025688158871908,"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."}}