{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00122292,0.0005251708,0.001457973,0.001633338,0.0001148216,0.0001252528,0.001240051,0.0002839475,0.000008841496],"category_scores_gemma":[0.00002366624,0.0004465901,0.000246399,0.0005767908,0.000111462,0.0006055352,0.0004515669,0.0003250908,0.00001121228],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002037982,"about_ca_system_score_gemma":0.0001217369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003675107,"about_ca_topic_score_gemma":0.00001720806,"domain_scores_codex":[0.9959884,0.00009483837,0.001710646,0.001020559,0.0007091351,0.0004764488],"domain_scores_gemma":[0.9965606,0.0007269533,0.001284325,0.001046891,0.0002593042,0.0001219665],"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.00001169724,0.00001500212,0.0003103619,0.0004631193,0.0002609699,0.00001472559,0.0002639206,0.693941,0.00000662607,0.2521712,0.000007482471,0.05253395],"study_design_scores_gemma":[0.0001969959,0.00007188462,0.00001192981,0.00344546,0.0001157667,0.00001136536,0.00002113253,0.9903014,0.00003546509,0.001946289,0.003349189,0.0004931089],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0005761269,0.02066637,0.9086923,0.00001194147,0.0009999955,0.0003883918,0.00001923826,0.00009291256,0.06855273],"genre_scores_gemma":[0.9836373,0.002461856,0.007032339,0.00003672551,0.0001667265,0.00001291328,0.00001186557,0.00004775956,0.006592555],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9830611,"threshold_uncertainty_score":0.9997986,"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."}}