{"id":"W2492983430","doi":"10.1007/978-3-319-39639-2_52","title":"Invariant-Based Performance Analysis of Timed Petri Net Models","year":2016,"lang":"en","type":"book-chapter","venue":"Advances in intelligent systems and computing","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Petri net; Stochastic Petri net; Invariant (physics); Computation; Computer science; Net (polyhedron); Theoretical computer science; Algorithm; 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.002104425,0.001128838,0.001063164,0.001638688,0.0003976249,0.001448273,0.002159207,0.0005851051,0.003299224],"category_scores_gemma":[0.0052141,0.0004582378,0.001416845,0.00104176,0.001174063,0.001622687,0.00104605,0.001227791,0.0004143288],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001962108,"about_ca_system_score_gemma":0.001257729,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004380248,"about_ca_topic_score_gemma":0.002252134,"domain_scores_codex":[0.9983155,0.0004636186,0.00008487861,0.0001872586,0.0007227862,0.0002261339],"domain_scores_gemma":[0.9970686,0.001850773,0.0002987153,0.0002714296,0.00041644,0.00009405403],"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.00009079905,0.000045319,0.0004186447,0.00008030538,0.00005339532,0.00007189814,0.00005562262,0.8636653,0.003024882,0.1129668,0.0004958619,0.0190311],"study_design_scores_gemma":[0.000001996169,0.00001086292,0.00005204142,0.000003055781,0.000007723878,0.000004710781,0.000003149948,0.9825029,0.0004640359,0.0168167,0.00012923,0.000003521267],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02797233,0.0003826116,0.9644451,0.00007817287,0.00005170145,0.00003585958,0.0001012095,0.0006410866,0.006292021],"genre_scores_gemma":[0.9336821,0.0005158616,0.06135412,0.00003174503,0.00008972643,0.0001021385,0.0003616068,0.0003415838,0.00352104],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004380248,"threshold_uncertainty_score":0.01423615,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02924576903838216,"score_gpt":0.2568841252205962,"score_spread":0.227638356182214,"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."}}