{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005144178,0.0002667249,0.0003351987,0.000301117,0.0001701343,0.0006722272,0.00135486,0.00006546605,0.00003580575],"category_scores_gemma":[0.00004554401,0.000204845,0.00007242406,0.0008229155,0.00004699595,0.0006863045,0.0003435889,0.0001490216,0.001165781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001804427,"about_ca_system_score_gemma":0.0001268985,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001119011,"about_ca_topic_score_gemma":0.0001961369,"domain_scores_codex":[0.9975067,0.0001323181,0.0004414012,0.0006321376,0.000679156,0.0006082742],"domain_scores_gemma":[0.9984663,0.00008663763,0.0001111627,0.0009770168,0.0001779754,0.0001809287],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00011288,0.0003998051,0.02003442,0.0001575062,0.0001016673,0.0002048062,0.004292676,0.2023125,0.03885683,0.01900112,0.7085699,0.005955926],"study_design_scores_gemma":[0.000694846,0.000308421,0.006798409,0.0002127688,0.000009291911,0.00008384418,0.0001082248,0.8527241,0.01739493,0.0009809219,0.1196315,0.001052787],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7522343,0.0003793052,0.2058372,0.004041104,0.0006205435,0.0005376039,0.000008327147,0.001049864,0.03529177],"genre_scores_gemma":[0.9461008,0.000002694355,0.01667006,0.0003995794,0.0001685765,0.000009318762,0.000002510159,0.00002414929,0.03662226],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6504116,"threshold_uncertainty_score":0.9996119,"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."}}