{"id":"W4226424099","doi":"10.1007/978-3-030-99253-8_5","title":"Separators in Continuous Petri Nets","year":2022,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"Fonds de recherche du Québec – Nature et technologies; Natural Sciences and Engineering Research Council of Canada","keywords":"Algorithm; Artificial intelligence; Computer science","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.00221822,0.0007102789,0.0009454783,0.002382691,0.0003015231,0.0006232139,0.006622402,0.0003517969,0.00008317708],"category_scores_gemma":[0.0001533044,0.0007330743,0.0001777605,0.002103493,0.0004163041,0.0009053111,0.0035502,0.001677993,0.00006408678],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001170261,"about_ca_system_score_gemma":0.001011356,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008105865,"about_ca_topic_score_gemma":0.0001400328,"domain_scores_codex":[0.9934284,0.0001164489,0.001019559,0.00242039,0.001904199,0.001110976],"domain_scores_gemma":[0.9962258,0.0007235816,0.0004600857,0.002197306,0.0001754365,0.0002178386],"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.0000131476,0.00007556796,0.0007800968,0.00006479261,0.00001848567,0.00137271,0.002539139,0.393344,0.00008307635,0.04945772,0.0001590349,0.5520923],"study_design_scores_gemma":[0.000648171,0.0002548736,0.0001398286,0.000489142,0.000006005393,0.0003259643,6.061376e-7,0.9147577,0.0002381361,0.05484208,0.02686287,0.001434566],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004779774,0.00141105,0.9796563,0.0004957438,0.004556995,0.0005554869,0.000006721199,0.0002470612,0.01259268],"genre_scores_gemma":[0.6659797,0.0001497682,0.3276636,0.003666057,0.0008127409,0.00007360089,0.00001244212,0.0001390981,0.001502957],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6655017,"threshold_uncertainty_score":0.999512,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01872214501636387,"score_gpt":0.252299790098892,"score_spread":0.2335776450825281,"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."}}