{"id":"W2190677066","doi":"10.1016/j.ic.2016.12.009","title":"Modeling concurrency with interval traces","year":2017,"lang":"en","type":"article","venue":"Information and Computation","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Concurrency; Interval (graph theory); Programming language; Distributed computing; Theoretical computer science; Parallel computing; Mathematics; Combinatorics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001892892,0.00007099854,0.0000802232,0.00008059879,0.0003387008,0.001014949,0.0003044356,0.00002713484,7.388855e-7],"category_scores_gemma":[0.00001985006,0.00005925255,0.00001278737,0.00004451995,0.00002217335,0.004906922,0.00008924445,0.00005749544,0.00001655898],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001538717,"about_ca_system_score_gemma":0.00003136464,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003132712,"about_ca_topic_score_gemma":0.00000505654,"domain_scores_codex":[0.9994096,0.00001396132,0.0002198417,0.00009001444,0.0001760687,0.00009056748],"domain_scores_gemma":[0.9994503,0.00001396762,0.0001695495,0.0001942745,0.000132431,0.0000394522],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009398315,0.000008067144,0.000394574,0.00004359923,0.00001036146,0.000001066337,0.004722738,0.2252824,0.000005992782,0.02537107,0.00004409376,0.7441066],"study_design_scores_gemma":[0.0003365338,0.00003494179,0.000522248,0.00004866436,0.000001862312,0.00002155785,0.0001305985,0.9977042,0.00001669249,0.0009391211,0.0001580844,0.00008550141],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1350732,0.00002692045,0.8615582,0.0002456038,0.0001800078,0.00007539269,7.011628e-7,0.00008225984,0.002757746],"genre_scores_gemma":[0.9739371,0.000006873061,0.02593105,0.00008837308,0.00001938085,0.000005423224,0.000004261753,0.000001721859,0.000005836318],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8388639,"threshold_uncertainty_score":0.978718,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03399494561031575,"score_gpt":0.2859312596665989,"score_spread":0.2519363140562832,"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."}}