Petri Nets Properties Analysis And Applications