{"id":"W2391598560","doi":"","title":"Explicit-controller design for a class of controlled Petri nets with marked graph loops","year":2010,"lang":"en","type":"article","venue":"","topic":"Power Systems and Technologies","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Discovery Air (Canada)","funders":"","keywords":"Petri net; Subnet; Graph; Computer science; Substitution (logic); Workflow; Class (philosophy); Theoretical computer science; Discrete mathematics; Mathematics; Distributed computing; Programming language; Artificial intelligence; Computer network","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.0002608038,0.00017479,0.0005093497,0.0001656719,0.0000281042,0.00002084991,0.0001867918,0.000152714,0.00003371546],"category_scores_gemma":[0.00008022095,0.0001144353,0.0001114229,0.0001604234,0.00003670279,0.00006949961,0.00001226191,0.0001359847,0.000003881742],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007943926,"about_ca_system_score_gemma":0.00001387309,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001918852,"about_ca_topic_score_gemma":0.00007399033,"domain_scores_codex":[0.9991854,0.00001107516,0.0002840059,0.0001464206,0.000109226,0.0002638228],"domain_scores_gemma":[0.99927,0.000276339,0.00006010753,0.0002720916,0.00007866458,0.00004280108],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.006798895,0.0003039271,0.002191736,0.0005158903,0.002943436,0.00002305273,0.0003712823,0.006791148,0.7660105,0.1426982,0.05528512,0.01606686],"study_design_scores_gemma":[0.1410243,0.002692178,0.002978651,0.0002544029,0.0004901814,0.00009631155,0.001298152,0.4557296,0.3216722,0.0121312,0.0590858,0.00254703],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2255296,0.0003493068,0.757338,0.0001554089,0.0005607831,0.00250223,0.00001238575,0.001193637,0.0123586],"genre_scores_gemma":[0.9874312,0.00000939604,0.01152646,0.0000173617,0.00002599151,0.0004288178,9.394234e-7,0.00003184241,0.0005280044],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7619016,"threshold_uncertainty_score":0.4666537,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009018252561592287,"score_gpt":0.1909089975702121,"score_spread":0.1818907450086198,"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."}}