{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001894599,0.000221555,0.0004507839,0.0003638295,0.0001636311,0.00006492186,0.0010183,0.00008321609,0.000003653237],"category_scores_gemma":[0.0001953565,0.0002034598,0.0001200515,0.0007782363,0.00010414,0.0004887086,0.001020698,0.0002567806,0.000007924823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001159128,"about_ca_system_score_gemma":0.0001446468,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003522612,"about_ca_topic_score_gemma":0.000009829529,"domain_scores_codex":[0.9972014,0.00009377253,0.0009986416,0.0003684209,0.0007034717,0.0006342827],"domain_scores_gemma":[0.9978719,0.0002057667,0.0007859591,0.0004543883,0.0005702396,0.0001117798],"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.0002922619,0.0002600111,0.001195034,0.001241063,0.0001638268,0.00004267048,0.01270447,0.8818187,0.03794684,0.03411069,0.00005421922,0.03017026],"study_design_scores_gemma":[0.000525636,0.0002092026,0.0007657359,0.0005460679,0.000007060115,0.00005626036,0.000272908,0.8607082,0.1365717,0.00009882247,0.00005791713,0.0001804346],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5483851,0.0002080493,0.448422,0.00004347475,0.0005279884,0.0002248498,0.000001519791,0.000107079,0.00207999],"genre_scores_gemma":[0.9275795,0.000002895022,0.07223118,0.0000137711,0.000117257,9.960407e-7,9.943076e-7,0.00001579247,0.00003760538],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3791944,"threshold_uncertainty_score":0.8296852,"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."}}