1. Timed Petri nets and BQOs;ABDULLA;Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001,2001
2. Binary decision diagrams;AKERS;IEEE Transactions on Computers,June 1978
3. On the use of exact lumpability in partially symmetrical well-formed nets
4. Transformations and decompositions of nets;BERTHELOT;Advances in Petri Nets,1987
5. Modeling and verification of time dependent systems using time Petri nets;BERTHOMIEU;IEEE Trans. Software Eng,1991