{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002434883,0.0005317544,0.0004246328,0.0005625635,0.0005992562,0.002391175,0.0007968784,0.0004529708,0.001645803],"category_scores_gemma":[0.006748895,0.0003585954,0.0005102407,0.0005334795,0.003952474,0.002870015,0.001791734,0.001513866,0.0001726529],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008372184,"about_ca_system_score_gemma":0.001295749,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002226889,"about_ca_topic_score_gemma":0.001925855,"domain_scores_codex":[0.9975629,0.0007630987,0.0002820717,0.0003868055,0.0007869088,0.0002182606],"domain_scores_gemma":[0.9963666,0.002321649,0.0002979936,0.0004984431,0.0003378049,0.0001774708],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001225486,0.00003441159,0.0007244253,0.0001373542,0.0000241648,0.0002610931,0.0009155224,0.06587734,0.008333922,0.8878352,0.0003409075,0.03539317],"study_design_scores_gemma":[0.00004997963,0.00008178796,0.0003617556,0.00004619209,0.00002918198,0.0001340694,0.0001028951,0.2144781,0.008406824,0.7637959,0.01247673,0.00003662196],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04210175,0.001917977,0.9381728,0.0005294176,0.000132429,0.00008659508,0.00005107259,0.0003598256,0.01664807],"genre_scores_gemma":[0.8905405,0.001524409,0.1013989,0.0001526095,0.0001152102,0.0001996454,0.00008246511,0.00006420442,0.005922128],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002434883,"threshold_uncertainty_score":0.01287705,"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."}}