{"id":"W2111655113","doi":"10.1109/icsmc.1995.538115","title":"Analysis of faults in hybrid systems by global Petri nets","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Petri net; Computer science; Extension (predicate logic); Scheme (mathematics); Distributed computing; Process architecture; Fault (geology); Fault detection and isolation; Stochastic Petri net; Hybrid system; Complex system; Real-time computing; Programming language; Artificial intelligence; 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.0003922464,0.0001287835,0.0004195802,0.0003662824,0.00002498678,0.00006931541,0.001005081,0.00004588977,0.00002786609],"category_scores_gemma":[0.00004027221,0.000117504,0.0001094829,0.003494464,0.00001838947,0.0002968761,0.0001758416,0.00006095067,0.00003774857],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001486853,"about_ca_system_score_gemma":0.00001295501,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008661975,"about_ca_topic_score_gemma":0.00006440403,"domain_scores_codex":[0.9981282,0.0001031602,0.0005620161,0.0004223436,0.0004939353,0.0002903653],"domain_scores_gemma":[0.9988854,0.00007970676,0.0001545595,0.0007195518,0.00007963903,0.00008115351],"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.0000130734,0.0008289676,0.2707136,0.0001627033,0.001482946,0.0002257435,0.001259895,0.5885821,0.0006505329,0.02855276,0.06036807,0.04715957],"study_design_scores_gemma":[0.000205507,0.00001834812,0.0009223507,0.00002069606,0.00002538156,0.00001144937,0.00002154144,0.9976426,0.00006812305,0.0000183181,0.0009203391,0.0001253378],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1745677,0.002044626,0.7944631,0.000131622,0.0004207845,0.0001493131,0.00002944296,0.0001322121,0.02806122],"genre_scores_gemma":[0.9967636,0.00002057943,0.002559077,0.00005759137,0.00001236715,0.000005606041,0.000002811014,0.000003396613,0.0005749691],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8221959,"threshold_uncertainty_score":0.4791673,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02182895489486646,"score_gpt":0.2470427854869664,"score_spread":0.2252138305920999,"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."}}