Added LazyPattern for analysis and renamed and optimized autoincremental id for Places, Transitions, Arcs and Interfaces.