{"id":"W1526414077","doi":"10.1109/iscas.1995.519912","title":"Modeling and simulation of hybrid control systems by Global Petri Nets","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Petri net; Computer science; Asynchronous communication; Process architecture; Stochastic Petri net; Distributed computing; Hybrid system; Event (particle physics); Extension (predicate logic); Theoretical computer science; Control engineering; Programming language; Engineering; Machine learning","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.0002893357,0.0001171224,0.0002321502,0.00005437292,0.00005689737,0.0001227108,0.0003494472,0.00003527604,0.000004441565],"category_scores_gemma":[0.00004356504,0.0001072829,0.00003301646,0.0002182278,0.00001526155,0.0004171229,0.00008228933,0.00004672422,0.000009491722],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005525299,"about_ca_system_score_gemma":0.00000910439,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001253557,"about_ca_topic_score_gemma":0.000001171302,"domain_scores_codex":[0.998674,0.00006770872,0.0003990005,0.0003108235,0.0003412807,0.0002072114],"domain_scores_gemma":[0.9992474,0.0000980421,0.00009456401,0.0003544728,0.000125237,0.00008027244],"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.000001619018,0.00001388329,0.0001728242,0.00001647583,0.000009294894,0.000002009931,0.00003135662,0.9958897,0.0000769231,0.00149858,0.0002752881,0.002012094],"study_design_scores_gemma":[0.0005190435,0.00002819154,0.000002585954,0.00003098161,0.000004658601,0.00002731046,0.00001124774,0.9989843,0.00002663682,0.0001229146,0.0001311443,0.0001109524],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07459175,0.002513184,0.9203009,0.00007400924,0.0002507215,0.0001655943,0.000009746844,0.0001121929,0.001981925],"genre_scores_gemma":[0.9965526,0.00001617331,0.003231148,0.0000662293,0.00003045784,0.00000374074,6.802905e-7,0.000004954281,0.0000939778],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9219609,"threshold_uncertainty_score":0.4374869,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02432226668655664,"score_gpt":0.2451130367753707,"score_spread":0.2207907700888141,"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."}}