{"id":"W2087115620","doi":"10.1007/s10703-006-0023-0","title":"Designing communicating transaction processes by supervisory control theory","year":2006,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Supervisory control; Supervisory control theory; Computer science; Database transaction; Bridging (networking); Control (management); Set (abstract data type); Process (computing); Distributed computing; Control logic; Event (particle physics); Theoretical computer science; Programming language; Artificial intelligence; Computer network","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":{"n_in":0,"stratum":"aff_core","weight":5595.2375,"opus":{"tier":"OUT","genre":"empirical","about_ca":false,"confidence":"high","reason":"Supervisory control theory for designing transaction processes; a formal methods contribution."},"gpt":{"tier":"OUT","genre":"other","about_ca":false,"confidence":"high","reason":"The title clearly indicates a technical study of transaction processes rather than research itself."},"grok":{"tier":"OUT","genre":"empirical","about_ca":false,"confidence":"high","reason":"Formal methods paper on designing communicating transaction processes; CS systems design, not metaresearch."}},"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003658784,0.0007466311,0.0008224498,0.00060299,0.0009630352,0.001999736,0.001970478,0.001478376,0.003346267],"category_scores_gemma":[0.007126535,0.001137715,0.00124933,0.0006212998,0.003302014,0.002996955,0.001695907,0.002128626,0.0006516224],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006891782,"about_ca_system_score_gemma":0.001854306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001071452,"about_ca_topic_score_gemma":0.001119859,"domain_scores_codex":[0.9970081,0.001076,0.0002220993,0.0004033103,0.001037243,0.0002532338],"domain_scores_gemma":[0.9963754,0.002390376,0.000257744,0.0005264213,0.0003571633,0.00009287167],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002311369,0.0001661701,0.000758487,0.0005435202,0.0001074874,0.0003341747,0.001478334,0.3264946,0.01788713,0.564123,0.00119162,0.08668425],"study_design_scores_gemma":[0.0001561536,0.0001608272,0.0001153322,0.0000891805,0.00008441821,0.00009996937,0.0001511937,0.7106003,0.01648505,0.2648726,0.007147641,0.00003751033],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004813843,0.00005633338,0.993795,0.00005413412,0.00001797313,0.00006146514,0.000005750159,0.0002103545,0.0009850219],"genre_scores_gemma":[0.3597785,0.0003310712,0.6361426,0.0001210019,0.00005177467,0.0006072768,0.00006635192,0.0001878638,0.002713633],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003658784,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06565192373603344,"score_gpt":0.3183433128496665,"score_spread":0.252691389113633,"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."}}