{"id":"W1785786688","doi":"10.1109/pacrim.1995.519583","title":"PSIM-a simulator for concurrent execution of net-based programs","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Petri net; Programming language; Parallel computing; Code (set theory); Parallelism (grammar); Net (polyhedron); Visualization; Control flow; Notation; Concurrent computing; Distributed computing","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.001009344,0.0009853283,0.0007451746,0.0005578096,0.000409367,0.0008549629,0.001951353,0.001011746,0.005530471],"category_scores_gemma":[0.003532358,0.0006905056,0.0008762673,0.0004915232,0.0006223085,0.001225045,0.001062885,0.001643595,0.001276397],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000744798,"about_ca_system_score_gemma":0.001683722,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002735979,"about_ca_topic_score_gemma":0.002422116,"domain_scores_codex":[0.9993636,0.0001954702,0.00005937872,0.00006472682,0.0002585313,0.00005839718],"domain_scores_gemma":[0.9985206,0.0008454994,0.000108689,0.0002340905,0.0001926869,0.00009846986],"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.0003216602,0.0001682027,0.00207466,0.0004745907,0.0001107748,0.0003232935,0.000221168,0.8974876,0.02330182,0.03543108,0.006427221,0.03365799],"study_design_scores_gemma":[0.00005221742,0.00004417444,0.0001127068,0.00001790629,0.0000137599,0.00005548097,0.000008211181,0.9805485,0.006436262,0.005889161,0.006807617,0.00001415717],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02133922,0.0001623155,0.9473008,0.0001108107,0.00009999192,0.0002929116,0.001274271,0.02465387,0.004765908],"genre_scores_gemma":[0.3488546,0.0005430652,0.6351932,0.0001627548,0.00005053356,0.00169171,0.003590615,0.00358319,0.006330318],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005530471,"threshold_uncertainty_score":0.01850128,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07146485549430968,"score_gpt":0.2816921724761244,"score_spread":0.2102273169818147,"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."}}