%O BookSection %F BadouelD98 %A Badouel, Eric %A Darondeau, Philippe %T Theory of Regions %B Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 %V 1491 %P 529-586 %S Lecture Notes in Computer Science %I Springer %D 1998