{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004581195,0.002148736,0.001312869,0.002589218,0.0009664877,0.002084576,0.002097261,0.002018588,0.003325526],"category_scores_gemma":[0.02855544,0.001015728,0.00229452,0.00252631,0.005971903,0.006446636,0.003695754,0.003036328,0.0006379909],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002653328,"about_ca_system_score_gemma":0.001899917,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006406555,"about_ca_topic_score_gemma":0.003215523,"domain_scores_codex":[0.9921069,0.00300246,0.0004728069,0.001215659,0.002487373,0.00071477],"domain_scores_gemma":[0.9665859,0.02890449,0.001273262,0.001824161,0.001081857,0.0003302449],"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.0004119683,0.0001905048,0.003218643,0.0006246698,0.00007324595,0.0007972652,0.0008406067,0.4104963,0.009202822,0.4506025,0.001181194,0.1223603],"study_design_scores_gemma":[0.0000637272,0.0001439025,0.0003106545,0.0001455821,0.0000365885,0.000257422,0.00007943762,0.3871378,0.00587034,0.6032069,0.0027053,0.0000424328],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03796751,0.0007258578,0.955116,0.0005276499,0.0000503016,0.0001098137,0.0001122523,0.0006780353,0.004712575],"genre_scores_gemma":[0.5320869,0.00253686,0.4569983,0.0007036932,0.0003342273,0.0003786822,0.0007635196,0.0005987707,0.005599029],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006406555,"threshold_uncertainty_score":0.02422798,"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."}}