{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005479366,0.00067121,0.0004381337,0.0007090414,0.0005627024,0.0007816777,0.0008342357,0.0006077103,0.00310868],"category_scores_gemma":[0.0009625243,0.0003861996,0.001023512,0.0005368932,0.001072575,0.001051439,0.0006587408,0.0009907949,0.0004076535],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006728858,"about_ca_system_score_gemma":0.0008944775,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001478159,"about_ca_topic_score_gemma":0.002141275,"domain_scores_codex":[0.9997146,0.00007566476,0.00002609085,0.00007033828,0.00008363879,0.00002968564],"domain_scores_gemma":[0.9996309,0.0002583588,0.00002944489,0.00002187459,0.00004647323,0.00001286175],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002249126,0.00015207,0.000754554,0.0007460199,0.00008467612,0.0004967017,0.0003809977,0.3270211,0.05639847,0.2738685,0.001969123,0.337903],"study_design_scores_gemma":[0.00004100955,0.0002053041,0.0002177719,0.00005615469,0.0000534947,0.0003022124,0.00007673994,0.8318025,0.01834672,0.1416616,0.007201293,0.00003513444],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004442295,0.00003371261,0.9938084,0.00005033888,0.000007954443,0.00003910482,0.00001906593,0.0002129257,0.001386126],"genre_scores_gemma":[0.07817093,0.0001523424,0.9200979,0.00009424959,0.00001567489,0.0001195643,0.000071275,0.00004377432,0.001234348],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00310868,"threshold_uncertainty_score":0.01039958,"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."}}