Abstract
This chapter is devoted to the use of Petri nets within methods that support structured approaches for modelling systems and for validating and verifying them using the formal foundation provided. The three approaches presented each have their own way of Petri net modelling, aimed at verification and validation.
Keywords
Critical Section Graph Transition Initial Place Object Orientation Firing Rule
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
Copyright information
© Springer-Verlag Berlin Heidelberg 2003