{"id":"W2153074510","doi":"10.1109/ictai.2009.112","title":"Runtime Monitoring of Multi-agent Manufacturing Systems for Deadlock Detection Based on Models","year":2009,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Deadlock prevention algorithms; Deadlock; Computer science; Distributed computing; Automation; Limiting; Overhead (engineering); Multi-agent system; Embedded system; Engineering; Artificial intelligence","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0022854,0.0005391537,0.0006670217,0.0006355713,0.0005272421,0.001279707,0.001041344,0.000600417,0.00082176],"category_scores_gemma":[0.006849631,0.0004605967,0.0008129818,0.0003488662,0.0006072003,0.00154467,0.001071722,0.0009519649,0.0001411832],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008585463,"about_ca_system_score_gemma":0.001272945,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001383356,"about_ca_topic_score_gemma":0.00173605,"domain_scores_codex":[0.9978801,0.0008885809,0.0001425732,0.000276927,0.000685099,0.0001266752],"domain_scores_gemma":[0.9959926,0.002123211,0.0004896825,0.0008852962,0.0003921753,0.0001170518],"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.0007009447,0.0003204479,0.007092733,0.000361615,0.0001878248,0.0006342106,0.0009667436,0.6802326,0.090184,0.0753508,0.002030781,0.1419372],"study_design_scores_gemma":[0.00001713655,0.00004217198,0.0002314485,0.00001327537,0.00002502344,0.00005414746,0.00001850934,0.9799148,0.01224122,0.006495171,0.0009362912,0.0000107597],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04423873,0.0001570698,0.95218,0.0001064745,0.00002189168,0.00007312099,0.00003497646,0.001886183,0.001301578],"genre_scores_gemma":[0.7107013,0.0001312178,0.2879493,0.00004678439,0.00001849239,0.0001869119,0.0001194222,0.0001539406,0.0006925972],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0022854,"threshold_uncertainty_score":0.01208651,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05655588188879185,"score_gpt":0.2750195794185396,"score_spread":0.2184636975297478,"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."}}