{"id":"W2130543663","doi":"","title":"Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model: Verificación de las propiedades lineales síncronas y asíncronas del Modelo de la Red de Petri Coloreado Intervalo Tiempo","year":2006,"lang":"es","type":"article","venue":"Computación y Sistemas","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Petri net; Graph; Bounded function; Interval (graph theory); Computer science; Colored; Algorithm; Set (abstract data type); Net (polyhedron); Mathematics; Theoretical computer science; Combinatorics; 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.002675503,0.0007164966,0.000595207,0.0006353327,0.0004688109,0.001676568,0.001833486,0.0009972388,0.001744161],"category_scores_gemma":[0.01079094,0.000418626,0.001380294,0.0003236595,0.002404907,0.002322349,0.001134289,0.001003542,0.0002857311],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001575088,"about_ca_system_score_gemma":0.002761622,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01064787,"about_ca_topic_score_gemma":0.006060617,"domain_scores_codex":[0.9972556,0.0005737446,0.0001314966,0.0006380904,0.001074788,0.0003262125],"domain_scores_gemma":[0.9899827,0.005568333,0.001532786,0.001473153,0.001228738,0.0002142912],"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.001168319,0.0002439502,0.01027361,0.000498622,0.0002056264,0.001455617,0.0008349977,0.7413275,0.08936705,0.114622,0.0005259135,0.03947682],"study_design_scores_gemma":[0.00005484807,0.000140433,0.0005747519,0.00002312583,0.00004663992,0.0001013905,0.00005094409,0.9484667,0.03324607,0.01655455,0.0007144147,0.00002620258],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1686781,0.00007840251,0.8270642,0.00008384267,0.00003431,0.0001016563,0.0002002435,0.001660228,0.002099118],"genre_scores_gemma":[0.9134482,0.00008329008,0.08458734,0.00005123177,0.00001268735,0.0001449274,0.0002873252,0.0001954382,0.001189569],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01064787,"threshold_uncertainty_score":0.02117175,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02235853162813231,"score_gpt":0.2541901881773166,"score_spread":0.2318316565491843,"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."}}