31 M. Kloetzer C. Mahulea C. Belta M. Silva 2010 An Automated Framework for Formal Verification of Timed Continuous Petri Nets IEEE Transactions on Industrial Informatics 6 3 471
460
08/2010 http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D5473124