{"id":"W2150272723","doi":"10.1109/acsd.2007.41","title":"A more efficient time Petri net state space abstraction preserving linear properties","year":2007,"lang":"en","type":"article","venue":"Proceedings","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Petri net; Abstraction; Partial order reduction; State space; Construct (python library); Computer science; Theoretical computer science; Reduction (mathematics); Time complexity; Stochastic Petri net; State (computer science); Space (punctuation); Spacetime; Net (polyhedron); Algorithm; Model checking; Mathematics; Programming language","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.0004477171,0.0006711614,0.0006121907,0.0004201264,0.0002831692,0.000710368,0.0008674911,0.0003777186,0.00223991],"category_scores_gemma":[0.001084267,0.000276376,0.001696526,0.0005640343,0.0005769435,0.001588807,0.0007907727,0.001064586,0.0003944064],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006382013,"about_ca_system_score_gemma":0.001336969,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002297827,"about_ca_topic_score_gemma":0.002668278,"domain_scores_codex":[0.9994929,0.0001078699,0.00003576415,0.0001106568,0.0001928755,0.00005988295],"domain_scores_gemma":[0.9994735,0.0001473021,0.00004877291,0.000232949,0.00007583518,0.00002172905],"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.000313797,0.0001867029,0.001161735,0.0004857658,0.000140155,0.0005998859,0.0004894439,0.5233277,0.1912836,0.1659318,0.001360475,0.1147191],"study_design_scores_gemma":[0.00005947257,0.0002680993,0.0005268157,0.00003068213,0.0001255431,0.0002250782,0.00006966874,0.8599867,0.05793557,0.06711219,0.01361682,0.00004337227],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01450856,0.00004860098,0.9831912,0.00003766608,0.00002445149,0.00004281612,0.00009036476,0.0009938489,0.00106242],"genre_scores_gemma":[0.3209009,0.0002568394,0.6752459,0.00006531843,0.00002297373,0.000188192,0.0005712694,0.0002627482,0.002485925],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002297827,"threshold_uncertainty_score":0.007493258,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02504138761063466,"score_gpt":0.2761425962226173,"score_spread":0.2511012086119826,"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."}}