{"id":"W2074388532","doi":"10.1007/s00165-007-0050-7","title":"Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties","year":2007,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal; Polytechnique Montréal","funders":"","keywords":"Petri net; Security token; Theory of computation; Computer science; Interval (graph theory); Bounded function; Stochastic Petri net; State space; Contraction (grammar); Theoretical computer science; Class (philosophy); State (computer science); Concurrency; Algorithm; Discrete mathematics; Distributed computing; Mathematics; Artificial intelligence; Combinatorics","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.0009874683,0.0004157876,0.0005392308,0.0005859145,0.0003724702,0.0007627266,0.001021085,0.0003494324,0.00161669],"category_scores_gemma":[0.002571489,0.0003011666,0.0007150246,0.0006058412,0.001225943,0.001173325,0.001340044,0.0008731988,0.0003068051],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006510849,"about_ca_system_score_gemma":0.001214816,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001801815,"about_ca_topic_score_gemma":0.001110959,"domain_scores_codex":[0.9993256,0.0002027667,0.00003577342,0.0001249819,0.0002238175,0.00008707348],"domain_scores_gemma":[0.998582,0.000721625,0.0001237882,0.0003104511,0.000176551,0.00008558976],"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.0003057856,0.0001533508,0.001594231,0.0002182925,0.00003792384,0.0003921863,0.0004606568,0.5498924,0.0434216,0.281775,0.001217946,0.1205307],"study_design_scores_gemma":[0.00002513823,0.00007635741,0.0001524976,0.00001414551,0.00001648094,0.00006828679,0.00003192301,0.9215928,0.01432634,0.06083409,0.002847988,0.00001396089],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02468775,0.00002217273,0.9735935,0.00002460625,0.000009067096,0.00003410504,0.00004247137,0.0004499895,0.00113633],"genre_scores_gemma":[0.5006733,0.0001099154,0.4967704,0.00004590668,0.00001376246,0.0002265241,0.0003869781,0.0002400393,0.001533138],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.001801815,"threshold_uncertainty_score":0.005408347,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01924687358716634,"score_gpt":0.245146874499248,"score_spread":0.2259000009120817,"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."}}