{"id":"W2135314063","doi":"10.1109/cmpsac.1996.542422","title":"A colored Petri net-based formal method for the design of control systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Petri net; Decidability; Computer science; Formal methods; Abstraction; Colored; State space; Bounded function; Theoretical computer science; Controller (irrigation); Formal verification; Representation (politics); State (computer science); Set (abstract data type); Net (polyhedron); Formal specification; Algorithm; Programming language; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.002425033,0.001581282,0.0007999495,0.00114958,0.0008092707,0.001195824,0.002369431,0.001154808,0.00452419],"category_scores_gemma":[0.002888933,0.0007441623,0.001750389,0.0009186438,0.002047349,0.001581672,0.001064529,0.002702313,0.001364899],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001402254,"about_ca_system_score_gemma":0.002907381,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002794828,"about_ca_topic_score_gemma":0.003771183,"domain_scores_codex":[0.9984283,0.0005443355,0.0001260361,0.0002177629,0.000615546,0.0000679399],"domain_scores_gemma":[0.9988606,0.0006686261,0.00008339481,0.000179876,0.0001637248,0.00004380317],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008704008,0.00008666504,0.0002180969,0.0009567971,0.0001004591,0.0004825484,0.0003875869,0.1463582,0.02403435,0.6529325,0.006527195,0.1678285],"study_design_scores_gemma":[0.0001974908,0.0001323652,0.0001130425,0.0003522782,0.00009760817,0.00058431,0.00004329321,0.5643281,0.01705638,0.2316962,0.18529,0.0001089274],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001285244,0.00007527081,0.9988439,0.00003889752,0.00003891499,0.00004486305,0.00002564722,0.0002793667,0.000524647],"genre_scores_gemma":[0.009822543,0.0002389202,0.9880682,0.00007519808,0.00002985946,0.0003514647,0.00007893522,0.0001228554,0.001212082],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00452419,"threshold_uncertainty_score":0.01513499,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06759633011669237,"score_gpt":0.2804744836368145,"score_spread":0.2128781535201222,"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."}}