Title: Petri Nets for Modeling of Large Discrete Systems