Please mail me regarding Petrinets at shp@latech.edu. I need to do a research on petrinets ( algorithm complexity) and your algorithms may prove to be very helpful. Thank you, Sree Harsha Pothireddy