Modeling and simulation of products' life cycles using petri nets