{"id":"W2157325856","doi":"10.1109/tase.2009.20","title":"On Testing 1-Safe Petri Nets","year":2009,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Petri net; Conformance testing; Model-based testing; Finite-state machine; Programming language; Formal specification; Test case; Context (archaeology); Formal methods; Code coverage; Workflow; Formal verification; Software engineering; Software; Machine learning; Database; Operating system","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.0001952014,0.00009077576,0.00008005965,0.00009271745,0.00009109399,0.0001092335,0.0005159391,0.00003206067,0.000007323574],"category_scores_gemma":[0.001027456,0.00007477877,0.00002444102,0.0004196049,0.000009241595,0.0001305113,0.00005647232,0.00009675392,0.00009431857],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001883502,"about_ca_system_score_gemma":0.0000242345,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002353571,"about_ca_topic_score_gemma":2.590211e-7,"domain_scores_codex":[0.9992453,0.00001841444,0.0001111363,0.0002504381,0.0001721122,0.0002026027],"domain_scores_gemma":[0.9988389,0.0005620467,0.00003578467,0.000449896,0.00005250694,0.00006084602],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00000183375,0.00008508579,0.001359312,0.000001820129,0.000001712641,0.00004014902,0.00006911967,0.00006638785,0.0001596382,0.1169315,0.1643369,0.7169466],"study_design_scores_gemma":[0.0001909586,0.0009342388,0.02010942,0.00009135163,0.000001846976,0.00007898842,6.494882e-7,0.1101921,0.002349508,0.8638352,0.001850302,0.0003653944],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004636478,0.00002271137,0.8350137,0.002170043,0.0001260349,0.00007216333,1.224229e-7,0.02797458,0.1299842],"genre_scores_gemma":[0.535601,2.775562e-7,0.4609777,0.003090662,0.00002193219,0.000001262738,1.589426e-7,0.000002427173,0.0003046732],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7469037,"threshold_uncertainty_score":0.304939,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03347539603444562,"score_gpt":0.2690563045610275,"score_spread":0.2355809085265819,"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."}}