DocumentCode :
3643130
Title :
On Generating *-Sound Nets with Substitution
Author :
Jacek Sroka;Piotr Chrzastowski-Wachtel;Jan Hidders
Author_Institution :
Univ. of Warsaw, Warsaw, Poland
fYear :
2011
fDate :
6/1/2011 12:00:00 AM
Firstpage :
3
Lastpage :
12
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"
Publisher :
ieee
Conference_Titel :
Application of Concurrency to System Design (ACSD), 2011 11th International Conference on
ISSN :
1550-4808
Print_ISBN :
978-1-61284-974-4
Type :
conf
DOI :
10.1109/ACSD.2011.26
Filename :
5988912
Link To Document :
بازگشت