{"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."}}}