Find three theorems concerning Petri nets in the literature. Submit the theorems to the instructor by e-mail. Be sure to include the reference information for each source.