Old Web
English
Sign In
Acemap
>
Paper
>
Timed Parallel Automaton: A Mathematical Tool for Defining Highly Expressive Formal Workflows
Timed Parallel Automaton: A Mathematical Tool for Defining Highly Expressive Formal Workflows
2011
Carlos Fernández Llatas
Salvatore F. Pileggi
V. Javier Traver
José-Miguel Benedí
Keywords:
Business process
Petri net
Unified Modeling Language
Workflow
Finite-state machine
Automata theory
Computer science
Automaton
Programming language
Correction
Cite
Save
Machine Reading By IdeaReader
15
References
0
Citations
NaN
KQI
[]