{"id":"W2110080806","doi":"10.1109/iscas.1989.100354","title":"Synthesis of a Petri net based control flow model","year":2003,"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 Toronto","funders":"","keywords":"Petri net; Computer science; Finite-state machine; Asynchronous communication; Set (abstract data type); State (computer science); Programming language; Theoretical computer science; Sequential logic; Asynchronous circuit; Algorithm; Logic gate","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.0007061799,0.0001226028,0.0002642689,0.0001581909,0.00004350958,0.00004699822,0.0006815325,0.00005933417,0.00003190233],"category_scores_gemma":[0.0003445722,0.0001054082,0.0000938564,0.000385776,0.00002159823,0.0002074492,0.00002671672,0.00006075578,0.00002368864],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003688581,"about_ca_system_score_gemma":0.0001777191,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001233169,"about_ca_topic_score_gemma":0.000002794436,"domain_scores_codex":[0.9986256,0.0001300625,0.0003284689,0.0003071545,0.0003569729,0.0002517436],"domain_scores_gemma":[0.9985236,0.0004312338,0.00009503897,0.0007500798,0.0001178146,0.00008221553],"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.00000537583,0.00005870159,0.0001522536,0.00002339269,0.00001647217,0.000003907186,0.00005458354,0.9590535,0.001057001,0.03521955,0.0006675803,0.003687644],"study_design_scores_gemma":[0.0003957445,0.00001555929,0.000006810324,0.00002426025,0.000006744895,0.000004414097,0.00000525267,0.9847427,0.01377458,0.0007371304,0.0001671696,0.0001196612],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001108474,0.00007045022,0.9683105,0.0001431664,0.0001290604,0.0001157484,0.00000451961,0.0001166672,0.03000138],"genre_scores_gemma":[0.6967525,9.813205e-7,0.3028306,0.0002269517,0.000007168658,0.00001450373,9.311589e-8,0.000006042482,0.0001610795],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6956441,"threshold_uncertainty_score":0.4298422,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02013099816737582,"score_gpt":0.2263413490394871,"score_spread":0.2062103508721113,"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."}}