{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002322021,0.0006427967,0.001081713,0.0007912589,0.000215094,0.0005401412,0.002811683,0.0006166782,0.000009472755],"category_scores_gemma":[0.00006380185,0.0007165003,0.0001628585,0.0006546274,0.0001348019,0.0005719285,0.001869506,0.0008589693,0.0003444456],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009972772,"about_ca_system_score_gemma":0.0005689333,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009758338,"about_ca_topic_score_gemma":0.00001146633,"domain_scores_codex":[0.9952303,0.0001854966,0.001452641,0.001223286,0.00092096,0.0009873814],"domain_scores_gemma":[0.9964696,0.0006795887,0.0007801342,0.001693974,0.0002197566,0.0001569436],"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.00006263219,0.0001478019,0.0005076737,0.002959107,0.0003518225,0.003611284,0.008492483,0.1529922,0.0003855803,0.6778024,0.07834033,0.07434665],"study_design_scores_gemma":[0.0006767941,0.0001823993,0.0000708204,0.006946389,0.0000230417,0.001013749,0.0001199062,0.8638131,0.00003387573,0.004679178,0.1201838,0.002256921],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0003260667,0.0009510538,0.2559441,0.00004799078,0.004656923,0.0005408248,0.000006920058,0.0009823169,0.7365438],"genre_scores_gemma":[0.01621195,0.0001869146,0.1402535,0.0001531417,0.004028759,0.00001927842,0.00007245022,0.0002968965,0.8387771],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.7108209,"threshold_uncertainty_score":0.9995286,"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."}}