Work

Qualitative analysis of WorkFlow nets using linear logic: Soundness verification

Year: 2009

Type: conference-paper

Source: Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics

DOI: 10.1109/icsmc.2009.5346601

Authors: Ligia Maria Soares Passos, Stephane Julia

Institution: Universidade Federal de Uberlândia

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: closed

Funder: Fundação de Amparo à Pesquisa do Estado de Minas Gerais

OpenAlex ID: W2113513585

FWCI: 1.597

Cites: 18

Cited by: 18

Related to: 10