{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000795976,0.001213661,0.0008900915,0.0009719584,0.0004730946,0.001333016,0.00208546,0.00117133,0.01314567],"category_scores_gemma":[0.001942493,0.000793835,0.001189177,0.0009894798,0.0006995708,0.002318681,0.001306673,0.001854701,0.002658394],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004762273,"about_ca_system_score_gemma":0.0008642454,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002081823,"about_ca_topic_score_gemma":0.001989487,"domain_scores_codex":[0.9993857,0.0001131772,0.00005842933,0.00007735685,0.0003256805,0.00003958178],"domain_scores_gemma":[0.9993073,0.000407748,0.00004474415,0.000102438,0.000106327,0.00003136879],"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.0003661439,0.0001103879,0.001964843,0.001609107,0.0002936148,0.001090361,0.0005811466,0.4750345,0.03577321,0.1357425,0.04763759,0.2997966],"study_design_scores_gemma":[0.0001655839,0.00008712655,0.0004100361,0.0001242949,0.00009903058,0.0006720273,0.00003624066,0.7180738,0.01514096,0.05392122,0.211194,0.00007574177],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001621898,0.0001739518,0.981003,0.00005415298,0.00009759787,0.00005113106,0.0005166823,0.01350478,0.002976722],"genre_scores_gemma":[0.06593177,0.001157019,0.9176804,0.000191336,0.00009605812,0.0009851175,0.003395335,0.00279113,0.007771681],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01314567,"threshold_uncertainty_score":0.04397672,"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."}}