{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007394292,0.001084677,0.0006866065,0.0008565166,0.0002780593,0.000750825,0.0007388999,0.0005065002,0.001168213],"category_scores_gemma":[0.001545096,0.0002979281,0.0007956105,0.0005205569,0.00109895,0.001904946,0.0007043285,0.0008652502,0.0001665113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005736439,"about_ca_system_score_gemma":0.0005009894,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001305591,"about_ca_topic_score_gemma":0.001150205,"domain_scores_codex":[0.9995364,0.0001325727,0.00002327792,0.00008681612,0.0001748668,0.00004604033],"domain_scores_gemma":[0.9991431,0.0005471104,0.0001089196,0.00008617323,0.00008665089,0.00002801531],"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.00009339547,0.0000254359,0.00140909,0.0001168069,0.00007913719,0.0002414343,0.0001271257,0.8675886,0.01086258,0.08287257,0.0003740225,0.03620971],"study_design_scores_gemma":[0.00001415838,0.00004780052,0.0003440935,0.0000135095,0.00003708082,0.00005773877,0.0000282461,0.9133376,0.004956691,0.07917154,0.001979419,0.0000120834],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01046787,0.0002302197,0.9883121,0.00003507924,0.00001632475,0.00001746728,0.00003119128,0.0002525004,0.0006372376],"genre_scores_gemma":[0.6851181,0.001014848,0.3102649,0.00006127328,0.00007533502,0.0001686401,0.0002412609,0.0001810932,0.00287459],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001305591,"threshold_uncertainty_score":0.004162133,"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."}}