{"id":"W2015494099","doi":"10.1155/2013/970487","title":"Controller Synthesis of Time Petri Nets Using Stopwatch","year":2013,"lang":"en","type":"article","venue":"Journal of Engineering","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Stopwatch; Petri net; Computer science; Scheduling (production processes); Controller (irrigation); Distributed computing; Stochastic Petri net; Real-time computing; Mathematics; Mathematical optimization","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":[],"consensus_categories":[],"category_scores_codex":[0.0005610949,0.0001134011,0.0003839024,0.0003157197,0.00002179002,0.0000705795,0.0006085166,0.00005153294,0.00001861266],"category_scores_gemma":[0.0003018174,0.00009692163,0.0001304519,0.0002995846,0.000007769389,0.0006545081,0.00008321541,0.0001529129,0.00001356263],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007972182,"about_ca_system_score_gemma":0.00004721393,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001239366,"about_ca_topic_score_gemma":4.471724e-8,"domain_scores_codex":[0.9987094,0.00002977779,0.0005956457,0.00009816427,0.000361671,0.0002053035],"domain_scores_gemma":[0.998744,0.0003162261,0.0003582686,0.0002054635,0.0002795542,0.00009646024],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004011332,0.00002598885,0.0001654602,0.0000401827,0.00009872211,0.00001925982,0.0001749741,0.7931812,0.1997298,0.0002103573,0.0002733138,0.006076744],"study_design_scores_gemma":[0.0002376222,0.00002962848,0.0002806748,0.0002427163,0.00001285661,0.000187593,0.000008274752,0.9909716,0.007709057,0.00003687056,0.0001844035,0.00009876148],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2781168,0.0004197987,0.7207496,0.00009533732,0.0003903528,0.0000605748,3.516707e-7,0.00002224964,0.0001449982],"genre_scores_gemma":[0.8902247,0.000009692917,0.109587,0.00001360517,0.0001259703,0.000001137142,1.402974e-8,0.0000116482,0.00002629391],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6121079,"threshold_uncertainty_score":0.3952349,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01157694054834507,"score_gpt":0.2066386777697826,"score_spread":0.1950617372214376,"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."}}