Title :
On Generating *-Sound Nets with Substitution
Author :
Jacek Sroka;Piotr Chrzastowski-Wachtel;Jan Hidders
Author_Institution :
Univ. of Warsaw, Warsaw, Poland
fDate :
6/1/2011 12:00:00 AM
Abstract :
We present a method for hierarchically generating sound work flow nets by substitution of nets with multiple inputs and outputs. We show that our method is correct and generalizes the class of nets generated by other hierarchical approaches. We identify a notion of soundness that is preserved by such substitutions and correct a small omission in an earlier similar method.
Keywords :
"Manganese","Petri nets","Electronic mail","Data visualization","Security","Analytical models","Business"
Conference_Titel :
Application of Concurrency to System Design (ACSD), 2011 11th International Conference on
Print_ISBN :
978-1-61284-974-4
DOI :
10.1109/ACSD.2011.26