{"id":"W277419385","doi":"","title":"Bindings in colored petri nets","year":2014,"lang":"en","type":"dissertation","venue":"Memorial University Research Repository (Memorial University)","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Petri net; Computer science; Colored; Concurrency; Formalism (music); Process architecture; Stochastic Petri net; Synchronization (alternating current); sort; Distributed computing; Heuristic; Theoretical computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003671921,0.00154355,0.001212787,0.002649304,0.001880936,0.003666559,0.002376249,0.001780148,0.00668468],"category_scores_gemma":[0.00870512,0.001739541,0.002451582,0.00276253,0.003484068,0.004451696,0.003476905,0.003645582,0.001794928],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003594584,"about_ca_system_score_gemma":0.003631857,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0142787,"about_ca_topic_score_gemma":0.01261263,"domain_scores_codex":[0.9948431,0.001802642,0.0003749803,0.0009744262,0.001467433,0.0005373364],"domain_scores_gemma":[0.9955388,0.002766783,0.0004192597,0.0004367202,0.0006119649,0.0002263588],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000593802,0.00005343171,0.0003559382,0.0001518426,0.00003525267,0.0002606799,0.0004111603,0.1885864,0.002167551,0.7759707,0.001770261,0.03017745],"study_design_scores_gemma":[0.00003277185,0.00003158926,0.0001248879,0.0000686413,0.00003564204,0.00008048067,0.00007806273,0.340476,0.002180253,0.6374882,0.01935708,0.00004636674],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.002934754,0.0002102047,0.9877942,0.0001541454,0.0001311963,0.0001362952,0.0001420401,0.0007446311,0.007752634],"genre_scores_gemma":[0.1374862,0.001014526,0.8389428,0.0003879923,0.000158261,0.0009019337,0.0006644661,0.0004856403,0.01995806],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.0142787,"threshold_uncertainty_score":0.02839118,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03086635398842981,"score_gpt":0.2707617501006528,"score_spread":0.239895396112223,"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."}}