Up a level |
Das, Sajal Kumar and Sarkar, Dilip and Agrawal, VK and Patnaik, LM (1991) Extended colored Petri net: An efficient tool for analyzing concurrent systems. In: Information Sciences, 54 (3). pp. 191-218.
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.
Das, Sajal Kumar and Agrawal, VK and Sarkar, Dilip and Patnaik, LM and Goel, PS (1987) Reflexive Incidence Matrx (RIM) Representation of Petr Nets. In: IEEE Transactions on Software Engineering, 13 (6). 643 -653.