Petri Nets for Modeling of Large Discrete Systems