{"id":"W2117887459","doi":"10.1109/icsmc.1997.638264","title":"A logic programming approach for finding minimal siphons in S/sup 3/PR nets applied to manufacturing systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Convergence (economics); Logic programming; Computer science; Algorithm; Logic gate; Theoretical computer science; Mathematical optimization; Programming language; Mathematics","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.0008041415,0.0002949656,0.0004233157,0.0004780625,0.0001765631,0.0005277409,0.001255787,0.0001414941,0.000005673561],"category_scores_gemma":[0.00004024747,0.0002716987,0.00008742506,0.0006114187,0.0000168654,0.0003204388,0.0003985238,0.000174865,0.00004511018],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002232728,"about_ca_system_score_gemma":0.00001910901,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004930347,"about_ca_topic_score_gemma":0.000007810609,"domain_scores_codex":[0.9970692,0.0000520699,0.0006225793,0.0009414374,0.0004008547,0.0009139084],"domain_scores_gemma":[0.9987705,0.0001965445,0.0001262095,0.0006789659,0.00003584985,0.000191931],"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.00003582284,0.0004766127,0.000399539,0.0007464469,0.0000644876,0.00004941293,0.009341554,0.7839847,0.001617306,0.03992898,0.002339322,0.1610159],"study_design_scores_gemma":[0.0005521521,0.00006756969,0.00003425459,0.00006869375,0.000003944705,0.00004063779,0.0005070044,0.9947765,0.0006502443,0.00005816008,0.002844034,0.000396771],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02459097,0.000140748,0.9625813,0.0001180612,0.0002648857,0.00192029,0.000001824765,0.0003829302,0.009998922],"genre_scores_gemma":[0.6167114,9.326944e-7,0.382105,0.000107558,0.00008010882,0.0005954384,0.000001752778,0.00001806504,0.0003797388],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5921205,"threshold_uncertainty_score":0.9999735,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07337434253021317,"score_gpt":0.2636579172601579,"score_spread":0.1902835747299447,"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."}}