Can I read Petri Nets in Software Engineering on EtoBox?

Petri Nets in Software Engineering by Caio Magno is a document available to read on EtoBox.

What is Petri Nets in Software Engineering about?

The document discusses using Petri nets to model software requirements to enable earlier validation. It proposes extending the V-model process with simulation and mathematical analysis based on place/transition nets. This allows requirements to be validated before coding, reducing faults. It demonstrates constructing nets from patterns to model an automotive cruise control system. The nets can then be simulated and analyzed using Petri net tools and integrated into an object-oriented framework.

Author

Caio Magno

Language

EN