Work

Verification of Event-Driven Process Chain with Timed Automata and Time Petri Nets

Year: 2017

Type: conference-paper

Source: IEEE GCC Conference and Exhibition (GCCCE)

DOI: 10.1109/ieeegcc.2017.8448053

Authors: Anam Amjad, Farooque Azam, Muhammad Waseem Anwar, Wasi Haider Butt

Institution: National University of Sciences and Technology

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: closed

OpenAlex ID: W2889543552

FWCI: 1.484

Cites: 14

Cited by: 8

Related to: 10