Jayaram, Rajeev and Rama, Srilata and Raj, RV and Patnaik, LM (1997) Petri net-based modeling of a class of complex digital systems. In: Computers & Electrical Engineering, 23 (1). pp. 41-53.