{"id":"W4362734246","doi":"10.3390/math11081798","title":"Verification of Current-State Opacity in Discrete Event Systems by Using Basis Coverability Graphs","year":2023,"lang":"en","type":"article","venue":"Mathematics","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Unobservable; Petri net; Opacity; Observable; Bounded function; Computer science; State (computer science); Current (fluid); Basis (linear algebra); Graph; Event (particle physics); Theoretical computer science; Stochastic Petri net; Algorithm; Mathematics; Mathematical analysis; Geometry; Physics","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.001560156,0.0001273358,0.0003018875,0.0001874071,0.00004959578,0.00007343102,0.0005524958,0.00003558563,7.770344e-7],"category_scores_gemma":[0.0001559967,0.0001209532,0.00006501854,0.001124115,0.00003462169,0.0002661911,0.0001709061,0.0001006431,0.00001305277],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001317156,"about_ca_system_score_gemma":0.00004952418,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000495512,"about_ca_topic_score_gemma":0.000002958077,"domain_scores_codex":[0.9981832,0.0001420589,0.0007055166,0.0002892656,0.0004452828,0.0002346646],"domain_scores_gemma":[0.9986107,0.0001915871,0.0003234519,0.0007424613,0.00008278853,0.00004896765],"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.00003871819,0.002382261,0.03891791,0.02387729,0.0002293521,0.00002851342,0.05593769,0.5907388,0.08980609,0.1367499,0.002974306,0.0583192],"study_design_scores_gemma":[0.000131942,0.000009764425,0.000260397,0.0003383514,0.000004547741,0.000002771884,0.00007367008,0.9890636,0.00145489,0.008491523,0.00004603028,0.0001225112],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4830965,0.0001232257,0.5161764,0.0000113628,0.0002657284,0.0002079959,0.00002403064,0.00006708685,0.00002770243],"genre_scores_gemma":[0.9924536,0.00003047817,0.007447935,0.000001864193,0.000007221771,0.00002091069,0.000005196656,0.00001050337,0.00002232704],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5093571,"threshold_uncertainty_score":0.493233,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06812249100150405,"score_gpt":0.3204769789621572,"score_spread":0.2523544879606531,"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."}}