Synthesizing state machines from two scenarios and a case study on business process management.

Toshiki Kinoshita Toshiyuki Miyamoto

Published in: SMC (2017)

Keyphrases

state machines
business process management
business processes
state machine
business process
petri net
service oriented
recurrent networks
case study
enterprise architecture
information systems
process model
web services
finite state machines