{"id":"W609249698","doi":"10.1142/4526","title":"Real-Time Systems","year":2007,"lang":"en","type":"book","venue":"Amast series in computing","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Process calculus; Computer science; Focus (optics); Semantics (computer science); Feature (linguistics); Process (computing); Probabilistic logic; Theoretical computer science; Distributed computing; Programming language; Artificial intelligence","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.0008775285,0.002075662,0.001134248,0.001376597,0.0009333409,0.004089895,0.002068365,0.002436326,0.02347801],"category_scores_gemma":[0.0019874,0.000543621,0.001160813,0.00167636,0.002262954,0.005879873,0.002322349,0.004282615,0.01180452],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00175078,"about_ca_system_score_gemma":0.001218724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001734763,"about_ca_topic_score_gemma":0.001419791,"domain_scores_codex":[0.9987664,0.0002689434,0.0001714437,0.0002616442,0.0004657375,0.00006583115],"domain_scores_gemma":[0.9992015,0.00025039,0.00007143994,0.0002400688,0.000174915,0.00006173267],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000008494213,0.00001033118,0.00003682974,0.0001554129,0.00001136478,0.00009644347,0.0001262266,0.003332027,0.0006500341,0.9630242,0.01710724,0.01544145],"study_design_scores_gemma":[0.00002259486,0.00002792206,0.0000855444,0.0001181256,0.00001224622,0.0003150408,0.00005393896,0.01140802,0.0003664594,0.4774855,0.5100871,0.00001740107],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00230638,0.02443163,0.6841907,0.007108848,0.004517805,0.0004118767,0.00235108,0.001806428,0.2728752],"genre_scores_gemma":[0.1432862,0.0331062,0.442448,0.004963269,0.004600818,0.002304512,0.00624527,0.0008802783,0.3621654],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02347801,"threshold_uncertainty_score":0.07854176,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01925549913633594,"score_gpt":0.2535785726672575,"score_spread":0.2343230735309215,"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."}}