{"id":"W1865640539","doi":"10.1109/acsd.2005.28","title":"Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties","year":2006,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Petri net; CTL*; Computer science; Theoretical computer science; Computation; Graph; Stochastic Petri net; State space; Model checking; Algorithm; Discrete mathematics; Distributed computing; 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.0008340426,0.0006647437,0.0005996012,0.0003697505,0.0004675738,0.0006801478,0.001026049,0.0005795966,0.004391258],"category_scores_gemma":[0.004611651,0.0003945083,0.0006967577,0.0003623186,0.001097096,0.002778147,0.0009843662,0.001621492,0.000555247],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005253359,"about_ca_system_score_gemma":0.0006846012,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00100779,"about_ca_topic_score_gemma":0.001789619,"domain_scores_codex":[0.9991677,0.0002230287,0.00005052907,0.000162892,0.0003153826,0.00008050448],"domain_scores_gemma":[0.9951963,0.002448103,0.0004038066,0.001535712,0.0002917995,0.0001242489],"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.0008498812,0.0002655323,0.001661192,0.0003691263,0.00005606897,0.0007666663,0.0008249756,0.496992,0.2267002,0.1452412,0.001362298,0.124911],"study_design_scores_gemma":[0.0001069816,0.0003938804,0.0009423701,0.00004976659,0.00004662369,0.0002982838,0.0001413635,0.7426355,0.1526439,0.08900471,0.01368802,0.00004855509],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0634406,0.00004483696,0.9330028,0.00006374119,0.00003186882,0.00007865622,0.0001272433,0.001413799,0.00179643],"genre_scores_gemma":[0.5837339,0.0001009354,0.4120133,0.00007357318,0.00002057872,0.0002709677,0.000846506,0.0007661337,0.002174048],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004391258,"threshold_uncertainty_score":0.01469022,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03097196816078123,"score_gpt":0.2363737471762356,"score_spread":0.2054017790154544,"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."}}