{"id":"W1984616519","doi":"10.1145/2680541","title":"Stubborn Sets for Time Petri Nets","year":2015,"lang":"en","type":"article","venue":"ACM Transactions on Embedded Computing Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Petri net; Partial order reduction; Computer science; Reduction (mathematics); Process architecture; State (computer science); Set (abstract data type); Extension (predicate logic); Enumeration; Stochastic Petri net; Petri dish; Theoretical computer science; Algorithm; Model checking; Programming language; Mathematics; Discrete mathematics","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.002395563,0.001647164,0.0009747776,0.003213433,0.001105399,0.002881701,0.001644691,0.001438142,0.009787304],"category_scores_gemma":[0.007100297,0.000720669,0.002265008,0.001884271,0.002843344,0.00464944,0.002383115,0.005302785,0.0025932],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002573253,"about_ca_system_score_gemma":0.001517819,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001234257,"about_ca_topic_score_gemma":0.001743712,"domain_scores_codex":[0.9971307,0.0008105605,0.0002458821,0.0004561105,0.001160207,0.000196523],"domain_scores_gemma":[0.9948019,0.003735047,0.0003764426,0.0004551636,0.0004526619,0.0001789061],"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.00002298097,0.00001825098,0.00007514043,0.0001300919,0.00001514917,0.0002103077,0.0002106419,0.008645223,0.001713942,0.975396,0.0007487719,0.0128134],"study_design_scores_gemma":[0.00001412686,0.00001811617,0.00006003672,0.00005707274,0.00001301945,0.0001234344,0.00003634787,0.03265122,0.001181195,0.9537947,0.0120337,0.00001702587],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006868801,0.001857046,0.9675909,0.0005651768,0.0003009046,0.0001824426,0.0003169275,0.0005320542,0.02178562],"genre_scores_gemma":[0.2956874,0.00487509,0.6723207,0.0008141858,0.0009366272,0.001350564,0.001322391,0.0007264192,0.02196664],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009787304,"threshold_uncertainty_score":0.03274173,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07358903639801978,"score_gpt":0.338857276766604,"score_spread":0.2652682403685842,"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."}}