Up a level |
Das, Sajal K 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.
Das, Sajal K 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 K 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.