{"id":"W4413470516","doi":"10.1007/978-3-031-84869-8_6","title":"Analysis of the Semigroup Related to the Petri Net of a Traffic Roundabout","year":2025,"lang":"en","type":"book-chapter","venue":"Springer proceedings in mathematics & statistics","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Roundabout; Petri net; Net (polyhedron); Computer science; Semigroup; Transport engineering; Mathematics; Engineering; Distributed computing; Discrete mathematics","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.0008171829,0.0006523824,0.0006816059,0.001342933,0.0007518861,0.001493688,0.0009893959,0.0007935056,0.009013658],"category_scores_gemma":[0.002762915,0.0003277243,0.001363436,0.0005864048,0.001758977,0.001722729,0.0007475266,0.001146731,0.0006321872],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001134968,"about_ca_system_score_gemma":0.0009970759,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002199837,"about_ca_topic_score_gemma":0.001396324,"domain_scores_codex":[0.999681,0.0001198983,0.00001275034,0.00005167279,0.00009281244,0.00004184629],"domain_scores_gemma":[0.9975646,0.001595257,0.000209945,0.0001185914,0.000283204,0.0002285232],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004103094,0.00003748336,0.0002921919,0.00004983192,0.00001817715,0.000197419,0.0001309679,0.03987708,0.001811863,0.9537217,0.0009656182,0.002856576],"study_design_scores_gemma":[0.000007837823,0.00002707214,0.0002661963,0.00001218416,0.00001113063,0.00008929798,0.00004510226,0.2699764,0.0003483698,0.7280621,0.001141761,0.00001252368],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1914287,0.001235683,0.7300448,0.001231556,0.000342978,0.00007613187,0.0003832639,0.000283204,0.07497376],"genre_scores_gemma":[0.9190916,0.0008528398,0.04495044,0.0002106295,0.0005633894,0.000101417,0.0003688745,0.0002224499,0.03363837],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009013658,"threshold_uncertainty_score":0.03015369,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01519916933647363,"score_gpt":0.2522382392944876,"score_spread":0.237039069958014,"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."}}