{"id":"W2111410607","doi":"10.1109/pnpm.1989.68551","title":"Performance evaluation using unbounded timed Petri nets","year":2003,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"Memorial University of Newfoundland","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Petri net; Bounded function; Nonlinear system; Stochastic Petri net; Projection (relational algebra); State space; Set (abstract data type); Representation (politics); State (computer science); Finite set; Computer science; Applied mathematics; Simple (philosophy); Net (polyhedron); Mathematics; Algorithm; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"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.001709578,0.0001205927,0.0001280186,0.0001588315,0.000177622,0.000169097,0.0004876199,0.00005609831,0.00009092477],"category_scores_gemma":[0.0001366469,0.0001114139,0.00003577158,0.0007250648,0.00001749013,0.0007571719,0.00007767433,0.00008065072,0.0001276595],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002228865,"about_ca_system_score_gemma":0.0002678352,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001286419,"about_ca_topic_score_gemma":0.000002247881,"domain_scores_codex":[0.9982237,0.0001810194,0.0002708282,0.0003518959,0.0006800828,0.0002925285],"domain_scores_gemma":[0.998957,0.00005642302,0.00009245685,0.0006029363,0.0002208805,0.00007026671],"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.00001819717,0.0002842211,0.01464729,0.00009728532,0.0001215,0.00002036599,0.002832483,0.5413962,0.02416888,0.1240056,0.002629777,0.2897781],"study_design_scores_gemma":[0.0003306683,0.00001934993,0.0002817089,0.00002047869,0.000005702522,0.00004451198,0.00001241577,0.9941345,0.003464779,0.0004359351,0.001097211,0.0001527439],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3787494,0.0001125798,0.5734304,0.00003671433,0.0006301333,0.0001845055,9.88401e-8,0.0001317323,0.04672445],"genre_scores_gemma":[0.865729,0.000003953171,0.1337069,0.000118775,0.00002738911,0.000007373843,5.811613e-7,0.000007262816,0.0003987432],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4869796,"threshold_uncertainty_score":0.4543328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08338179169315783,"score_gpt":0.3076327362830524,"score_spread":0.2242509445898945,"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."}}