{"id":"W2106198292","doi":"10.1109/icsmc.1998.725413","title":"New rank theorems for Petri nets and their application to workflow management","year":2002,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"","keywords":"Petri net; Rank (graph theory); Workflow; Computer science; Process architecture; Stochastic Petri net; Petri dish; Theoretical computer science; Programming language; Mathematics; Database; Combinatorics","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":[],"consensus_categories":[],"category_scores_codex":[0.0002728552,0.0001116937,0.0001154093,0.0001137635,0.00008127493,0.0001565258,0.0005840869,0.00003163663,0.00001404163],"category_scores_gemma":[0.000007696778,0.00008614163,0.00003261068,0.0003766229,0.000006477383,0.0001657738,0.0002031207,0.00003038612,0.00005913122],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002909634,"about_ca_system_score_gemma":0.000003645772,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000872357,"about_ca_topic_score_gemma":0.000004269321,"domain_scores_codex":[0.9990764,0.00001618463,0.0001703794,0.0003923215,0.0001280411,0.0002167115],"domain_scores_gemma":[0.9991783,0.00008788081,0.00003662542,0.0005495829,0.00002967277,0.0001178947],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002665884,0.000009690339,0.00001355687,0.00001009684,0.000009709644,3.391314e-7,0.0003989114,0.0008088274,0.0000855158,0.1214944,0.0106107,0.8665556],"study_design_scores_gemma":[0.0004589844,0.00003976125,0.00005677492,0.00002511618,0.000003339742,0.000006664779,0.00003649775,0.8820406,0.0003767409,0.01929673,0.09747802,0.0001807921],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003321657,0.0003060343,0.9800994,0.00190207,0.0001666471,0.0006935858,5.678762e-7,0.0001647002,0.01633479],"genre_scores_gemma":[0.4944794,0.00003299109,0.5001212,0.0008527117,0.00009752639,0.0001075176,6.274895e-7,0.00001005804,0.00429801],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8812318,"threshold_uncertainty_score":0.3512754,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02086824561443373,"score_gpt":0.2345733026864381,"score_spread":0.2137050570720044,"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."}}