{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004354543,0.0009189134,0.0005907906,0.0005218618,0.0004332262,0.000743928,0.0007005028,0.0004859095,0.002346264],"category_scores_gemma":[0.0009696383,0.0004278555,0.001029594,0.0003816789,0.0005287469,0.0006122622,0.0005009001,0.0007392368,0.0004522227],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000588302,"about_ca_system_score_gemma":0.001263788,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003076911,"about_ca_topic_score_gemma":0.003874434,"domain_scores_codex":[0.9995919,0.00006766924,0.00003582747,0.0001192482,0.0001305252,0.00005490867],"domain_scores_gemma":[0.9995648,0.0002126369,0.00006801529,0.00005528455,0.00007979642,0.00001934214],"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.0002045061,0.00007429407,0.0005767014,0.0003897359,0.00007733971,0.0004328597,0.0001734269,0.8051544,0.06560839,0.04358187,0.0008210901,0.0829054],"study_design_scores_gemma":[0.00004086279,0.0001328331,0.0001336344,0.00003332739,0.00004064595,0.00006404814,0.00002108592,0.9471049,0.02988524,0.01747167,0.005053201,0.00001851696],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00827089,0.000107171,0.9883669,0.00002482429,0.00003767903,0.00006065296,0.00005118696,0.001159946,0.001920782],"genre_scores_gemma":[0.4487705,0.0003807902,0.5459884,0.00008300182,0.00002484115,0.0004225556,0.0004129,0.0003412233,0.003575838],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003076911,"threshold_uncertainty_score":0.007849097,"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."}}