{"id":"W2003082482","doi":"10.1109/tase.2011.2163510","title":"Workflow Nets for Multiagent Cooperation","year":2011,"lang":"en","type":"article","venue":"IEEE Transactions on Automation Science and Engineering","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Soundness; Petri net; Reachability; Workflow; Computer science; Concurrency; Distributed computing; Task (project management); Process architecture; Theoretical computer science; Protocol (science); Programming language; Extension (predicate logic); Software engineering; Database; Systems engineering; Engineering","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":[],"consensus_categories":[],"category_scores_codex":[0.0005739827,0.00009538108,0.00008172244,0.0003207449,0.0002833874,0.0001659634,0.0003009959,0.00003552471,0.00000380693],"category_scores_gemma":[0.00002122068,0.00009356259,0.00002434833,0.0007295495,0.0000334712,0.001191485,0.000002466849,0.00005995802,0.000009808512],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007826817,"about_ca_system_score_gemma":0.00006239842,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000565046,"about_ca_topic_score_gemma":0.000001659152,"domain_scores_codex":[0.9990429,0.000007311642,0.000184607,0.0002877222,0.0002690688,0.000208334],"domain_scores_gemma":[0.9994355,0.00004627557,0.00003326048,0.0002346521,0.0001627819,0.00008755647],"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.000006201842,0.00006533472,0.00000360546,0.00003786187,0.00001126268,0.000001344401,0.00401287,0.6840573,0.04357555,0.005104028,0.00004116144,0.2630835],"study_design_scores_gemma":[0.0001506422,0.00003771936,0.0001391451,0.00002967456,0.000002641348,0.000008070526,0.00001258198,0.9590515,0.04027958,0.00003126405,0.0001500513,0.0001071116],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01853206,0.00001407415,0.9798909,0.00006209724,0.0008686484,0.0002096017,0.000001394899,0.0003208439,0.0001004198],"genre_scores_gemma":[0.8219979,0.00000611937,0.1778369,0.0000608935,0.00001185491,0.00006075275,1.435642e-7,0.00000534793,0.00002011187],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8034658,"threshold_uncertainty_score":0.3815371,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04066885111898593,"score_gpt":0.246687818897751,"score_spread":0.206018967778765,"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."}}