{"id":"W4297675756","doi":"10.48550/arxiv.2209.02767","title":"Separators in Continuous Petri Nets","year":2022,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Petri net; Reachability; Separator (oil production); Regular polygon; Polytope; Mathematics; Discrete mathematics; Combinatorics; Decidability; Time complexity; Computer science; Algorithm; Physics","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.002195277,0.0009272215,0.0007863205,0.001499177,0.001049333,0.002510717,0.001517209,0.001065147,0.005351052],"category_scores_gemma":[0.007981339,0.0007849707,0.001853091,0.001265409,0.004119645,0.005126603,0.003353602,0.004284376,0.0008733356],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003321154,"about_ca_system_score_gemma":0.001981604,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004530412,"about_ca_topic_score_gemma":0.003038374,"domain_scores_codex":[0.9967852,0.0005858793,0.000298432,0.0009564286,0.001000023,0.0003739462],"domain_scores_gemma":[0.9908432,0.006035297,0.0009874809,0.0009643526,0.0007653579,0.0004043775],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002898297,0.0000753757,0.001046402,0.0004147574,0.00006672633,0.0005540477,0.001039023,0.07368612,0.009354492,0.8730138,0.00149485,0.03896458],"study_design_scores_gemma":[0.00009075586,0.0001020073,0.0003314286,0.0001071397,0.0000593602,0.0001250044,0.0001193149,0.1976341,0.009053932,0.7781128,0.01420928,0.0000547431],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05109609,0.0008585247,0.9298891,0.0006529319,0.0001272358,0.0001544906,0.0003405138,0.003015816,0.01386517],"genre_scores_gemma":[0.7096065,0.0008057517,0.2738225,0.0003909504,0.0001998804,0.0004049001,0.0009422249,0.0004554052,0.01337177],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005351052,"threshold_uncertainty_score":0.02409679,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07105728310858467,"score_gpt":0.2033852021519154,"score_spread":0.1323279190433307,"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."}}