{"id":"W4378551342","doi":"10.1007/978-3-031-33620-1_8","title":"Interval Traces with Mutex Relation","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Semaphore; Computer science; Soundness; Transitive relation; Interval (graph theory); Relation (database); Petri net; Simultaneity; Deadlock; Concurrency; Theoretical computer science; Programming language; Algorithm; Mathematics; Data mining; 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.0004516472,0.0005345632,0.0004474929,0.001005752,0.0006841237,0.001761774,0.0009009929,0.0006517274,0.008733401],"category_scores_gemma":[0.002559619,0.0003885018,0.0004891752,0.001485986,0.001014728,0.003696286,0.00151035,0.001706024,0.001313264],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000555459,"about_ca_system_score_gemma":0.0004095343,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006186317,"about_ca_topic_score_gemma":0.0004075856,"domain_scores_codex":[0.9993649,0.00009743449,0.00005227303,0.0001517063,0.0002616966,0.00007197399],"domain_scores_gemma":[0.9990045,0.000474029,0.00007682501,0.0002507015,0.0001285304,0.00006547683],"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.00006837277,0.00002766345,0.0001872888,0.00005442545,0.000006685445,0.0001932201,0.0002556248,0.003256945,0.002648485,0.9504895,0.001164426,0.04164742],"study_design_scores_gemma":[0.00001297784,0.00004673927,0.0001848891,0.0000329225,0.00001928893,0.0002991891,0.0001025442,0.02171165,0.005873505,0.9525443,0.01915667,0.00001527086],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06118477,0.001153127,0.818674,0.0003984833,0.0004280194,0.00007573582,0.0003801971,0.001797206,0.1159084],"genre_scores_gemma":[0.7881704,0.00138046,0.1251506,0.0001794152,0.000369031,0.0001693769,0.0006841942,0.0006343338,0.08326215],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008733401,"threshold_uncertainty_score":0.02921611,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02881436037752893,"score_gpt":0.2508213099587526,"score_spread":0.2220069495812237,"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."}}