Abstract
The definition and simulation of processes using Work flow technology is becoming more and more popular. In that way, to standardize and simulate complex processes it is needed high expressive languages able to be automatically executed by computers. Currently, high expressive languages that can be used for simulation and definition of processes are based in Petri Nets technology. Nevertheless, Petri Nets are difficult to understand by processes experts with no computer science training or expertise and are more complex to be executed than other simpler approaches like finite automatons. In this paper an automata based mathematical tool with a high expressivity capacity is presented. This framework is easier to understand also by non computer science expert sand its automation is simple in order to allow to experts to define formal work flows that can be easily automated.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
