Executable Models of Influence Nets Using Design / CPN