Component Tools: Integrating Petri Nets with Other Formal Methods

The field of formal methods provides all kinds of powerful techniques for the specification, design, verification, validation, and ramp-up of systems. Petri nets, in different versions and “levels”, are among those techniques that have successfully been used in various fields of application and for different engineering tasks.