{"id":"W2152379264","doi":"10.1109/cdc.1989.70675","title":"Strict concurrency and nondeterministic control of discrete-event systems","year":2003,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Nondeterministic algorithm; Concurrency; Computer science; Simultaneity; Event (particle physics); Concurrency control; Process calculus; Programming language; Concurrent computing; Theoretical computer science; Distributed computing","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.0006127908,0.0001216172,0.0002791246,0.00008860095,0.00004695109,0.00008320585,0.0003643892,0.00004547194,0.000005594649],"category_scores_gemma":[0.0001472581,0.00009735076,0.00003990643,0.0002052819,0.00003849696,0.0001772608,0.00005980032,0.00006075205,0.000006631012],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002386828,"about_ca_system_score_gemma":0.00007251369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002399658,"about_ca_topic_score_gemma":9.720454e-7,"domain_scores_codex":[0.9986173,0.0001965897,0.000419517,0.0002906555,0.0002658495,0.0002100783],"domain_scores_gemma":[0.9989302,0.0003019578,0.000157663,0.0004370444,0.00007965132,0.00009350538],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008072848,0.00008452001,0.006020511,0.000287235,0.00006733849,0.00003204778,0.0005472294,0.003356489,0.001408026,0.9810016,0.0002876519,0.00689928],"study_design_scores_gemma":[0.001259185,0.0001998655,0.0003520625,0.000123789,0.00001873731,0.0001225414,0.0001033491,0.9947091,0.0005153336,0.0006818304,0.001633191,0.0002809812],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009768607,0.001204571,0.9812635,0.00001998406,0.0006380244,0.0002271628,0.000006028503,0.0000541544,0.006818011],"genre_scores_gemma":[0.9957748,0.0000127984,0.003945202,0.0000212443,0.00001724186,0.00001345623,2.622596e-7,0.000005250492,0.0002097673],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9913526,"threshold_uncertainty_score":0.3969849,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0169577433757923,"score_gpt":0.2591443593939837,"score_spread":0.2421866160181914,"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."}}