{"id":"W2058952583","doi":"10.1504/ijes.2006.010171","title":"Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets","year":2006,"lang":"en","type":"article","venue":"International Journal of Embedded Systems","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Petri net; Computer science; Abstraction; Construct (python library); Graph; Bounded function; Theoretical computer science; Concurrency; State space; Discrete mathematics; Algorithm; Programming language; 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.001531536,0.0001866712,0.0003600019,0.0008431376,0.0001767186,0.000419507,0.0013357,0.00008287004,0.000003733998],"category_scores_gemma":[0.0001062991,0.0001737886,0.0002015469,0.0003689568,0.00002417866,0.0008841969,0.0003422478,0.00016831,0.00002042929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005743609,"about_ca_system_score_gemma":0.0002340866,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002432337,"about_ca_topic_score_gemma":0.00001067589,"domain_scores_codex":[0.9968798,0.0001347608,0.001277896,0.0002727353,0.001169839,0.000265033],"domain_scores_gemma":[0.996615,0.0003048755,0.001212124,0.0002445903,0.001498379,0.0001250574],"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.0002931632,0.0001587098,0.0007644637,0.00005829744,0.0003503138,0.0002476534,0.001320693,0.7886789,0.1743376,0.01814143,0.007391221,0.008257544],"study_design_scores_gemma":[0.001411543,0.0001236816,0.0001819902,0.0005650476,0.00001838365,0.002648044,0.00008256049,0.9754296,0.003275964,0.009215749,0.006744998,0.0003024584],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3594147,0.0001547488,0.6339421,0.000244654,0.005457886,0.0002350945,0.00001974803,0.00003393604,0.0004970961],"genre_scores_gemma":[0.9697222,0.000003895741,0.02932862,0.00008163921,0.0006788793,0.000005225278,0.000003997316,0.00001916929,0.0001563526],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6103075,"threshold_uncertainty_score":0.7086893,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02689158909466154,"score_gpt":0.3124771647497542,"score_spread":0.2855855756550927,"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."}}