{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004414311,0.0001672529,0.0002338419,0.000230452,0.0001115704,0.0001055865,0.0005406357,0.0000823829,3.956039e-7],"category_scores_gemma":[0.00001669747,0.0001517019,0.0001024086,0.0001470325,0.000005834367,0.0003530078,0.00004123184,0.00007816633,0.000004545595],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001598863,"about_ca_system_score_gemma":0.00002519429,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000496589,"about_ca_topic_score_gemma":8.97834e-7,"domain_scores_codex":[0.9984875,0.00004514219,0.0004084655,0.0004021069,0.0003651179,0.0002917064],"domain_scores_gemma":[0.9989675,0.0001141834,0.0001578505,0.000586924,0.0001005181,0.00007298095],"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.0000107442,0.00005056493,0.0000233822,0.00004573966,0.000006658929,0.000001085495,0.00007083798,0.978201,0.003785961,0.0004659143,0.000006213791,0.01733191],"study_design_scores_gemma":[0.0004272218,0.0001254287,0.0001511969,0.0001235172,0.000004264725,0.000002567994,0.00002812738,0.8338036,0.1650586,0.0001236724,0.00001970394,0.0001321124],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05784111,0.0001059092,0.9400814,0.00002491922,0.0008837262,0.000449013,0.000001452618,0.0002254406,0.0003870135],"genre_scores_gemma":[0.8916144,0.000003005352,0.1081075,0.00002398073,0.00009628096,0.00003163125,3.462083e-7,0.000009861863,0.0001130507],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8337733,"threshold_uncertainty_score":0.6186225,"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."}}