Up a level |
Sarkar, Dilip and Das, Sajal Kumar and Agrawal, Vinod Kumar and Patnaik, Lalit Mohan (1990) A new methodology for analyzing distributed systems modeled by petri nets. In: International Journal of Computer Mathematics, 31 (3-4). pp. 153-165.
Das, Sajal Kumar and Agrawal, Vinod Kumar and Sarkar, Dilip and Patnaik, Lalit M (1988) Invariant-preserving Petri net reduction and conditions for invariant-existence. In: Computers & Electrical Engineering, 14 (3-4). pp. 75-91.