Work

Polynomial Time Verification of Reachability in Sound Extended Free-Choice Workflow Nets

Year: 2014

Type: article

Source: IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences

DOI: 10.1587/transfun.e97.a.468

Author: Shingo YAMAGUCHI

Institution: Yamaguchi University

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: Japan Society for the Promotion of Science

Award: Realization of Multi-Car Elevator Group Controller Development System Based on Formal Methods

OpenAlex ID: W1976286208

FWCI: 6.09

Cites: 15

Cited by: 15

Related to: 10