doi dblp Information System Behavior Specification by High-Level Petri Nets Andreas Oberweis | Peter Sander 1996 Volume 14 Issue 4