Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering