{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001371335,0.0006734754,0.0004685701,0.0009767323,0.000749833,0.0007890844,0.001187541,0.0004858366,0.002015094],"category_scores_gemma":[0.003567933,0.000517613,0.001486403,0.00071778,0.001466668,0.002264114,0.00206925,0.00171743,0.0004015813],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008049795,"about_ca_system_score_gemma":0.001855021,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005533798,"about_ca_topic_score_gemma":0.005775455,"domain_scores_codex":[0.9988876,0.0002676094,0.00006350338,0.0001585095,0.0004669017,0.0001559485],"domain_scores_gemma":[0.9974074,0.001406694,0.0002059915,0.0006009918,0.0002657635,0.0001133096],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002211671,0.0002473929,0.005416974,0.000443699,0.00008688273,0.0009558118,0.002418133,0.3001838,0.03659679,0.3837816,0.002193358,0.2674544],"study_design_scores_gemma":[0.00004178325,0.000137801,0.0008892111,0.00007252413,0.00009163609,0.0002918216,0.0002148297,0.7462692,0.04395875,0.1848495,0.02313102,0.00005193933],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01216434,0.00001729034,0.9861538,0.00002973988,0.00001083778,0.00005877831,0.00002737693,0.0006096797,0.0009281858],"genre_scores_gemma":[0.2303027,0.0001418391,0.7664846,0.00006915713,0.00001690644,0.0002643855,0.0003453706,0.0005809248,0.001794062],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005533798,"threshold_uncertainty_score":0.01100314,"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."}}