{"id":"W2156830051","doi":"10.1109/icsmc.1997.635199","title":"GPNSAT: A new tool for simulation and analysis of hybrid systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia; University of Waterloo","funders":"","keywords":"Petri net; Reachability; Computer science; Hybrid system; Simple (philosophy); Tree (set theory); Process architecture; Distributed computing; Stochastic Petri net; Software engineering; Systems engineering; Theoretical computer science; Programming language; Machine learning; Engineering; Mathematics","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.0002275622,0.00006532264,0.0002183689,0.0002500333,0.0000331585,0.00008708237,0.0002200259,0.00001850625,0.000008841574],"category_scores_gemma":[0.00005012417,0.00005715824,0.00006721821,0.0005700279,0.000006809281,0.0002505402,0.00005333639,0.00001734254,0.000002637942],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001850906,"about_ca_system_score_gemma":0.000008519345,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004996921,"about_ca_topic_score_gemma":0.000002283668,"domain_scores_codex":[0.9991927,0.0000223116,0.0002814935,0.0002230917,0.000168526,0.0001119239],"domain_scores_gemma":[0.9991903,0.0002460641,0.000100477,0.000341843,0.00007962668,0.00004169623],"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.00000159239,0.00001132961,0.0007943051,0.00003073382,0.0001539115,6.892877e-7,0.000238027,0.9771093,0.0000939924,0.007323029,0.0004537826,0.01378931],"study_design_scores_gemma":[0.0001652334,0.00002046471,0.0001274465,0.00001067956,0.00006897077,0.000002040408,0.000006028639,0.998793,0.00009293707,0.00008903094,0.0005544902,0.00006969396],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04750181,0.0003512219,0.9512875,0.00004673679,0.000105876,0.0001687244,0.000003463018,0.00005482302,0.0004798296],"genre_scores_gemma":[0.9656853,0.000003778695,0.03324644,0.00002645496,0.00002960472,0.000005092739,0.000001091762,0.000003152727,0.0009990623],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9181835,"threshold_uncertainty_score":0.2330845,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05501253751256085,"score_gpt":0.2810785329819314,"score_spread":0.2260659954693705,"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."}}