{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006899867,0.0003787274,0.0005536301,0.0008337545,0.0001548904,0.0001561056,0.003783091,0.0002720405,0.00008602429],"category_scores_gemma":[0.00005282582,0.000498483,0.0002230436,0.001761932,0.00005775625,0.0003799299,0.005614355,0.001123608,0.00008607776],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008131214,"about_ca_system_score_gemma":0.0003878576,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003189328,"about_ca_topic_score_gemma":0.00007180779,"domain_scores_codex":[0.9968908,0.000390919,0.0003756914,0.001589873,0.0002068187,0.0005458908],"domain_scores_gemma":[0.9973562,0.0001692951,0.0003471747,0.001865558,0.0000949716,0.0001668152],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001884118,0.00009758509,0.01914203,0.00005350112,0.00004804943,0.002120757,0.000560005,0.9061636,0.000009241246,0.07049041,0.0008520469,0.0004439119],"study_design_scores_gemma":[0.0007612321,0.00005692024,0.001370111,0.0001137111,0.00002235508,0.00001807266,0.0002119092,0.976457,0.00002496567,0.01219676,0.007971605,0.0007953495],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6314006,0.0003022816,0.3513548,0.00007561575,0.002277609,0.0004467175,0.000016711,0.000415824,0.0137098],"genre_scores_gemma":[0.99593,0.00009173212,0.001157996,0.0001193809,0.00005506061,0.000003240257,0.00001081836,0.00002476773,0.00260698],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3645294,"threshold_uncertainty_score":0.9997467,"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."}}