Abstract
Validation is one of the central tasks of system development. The modelled system has to match the expectations of the user/client/customer. A variety of possibilities is available. The models can be executed, simulated, animated, inspected, tested, debugged, observed, controlled, etc. This incomplete list can easily be enlarged. However, in this book the emphasis is on the validation of Petri net models for systems engineering applications. This allows us to concentrate on the major areas of Petri net validation, namely prototyping, net execution, and code generation. Petri net concepts can be applied in some of the most important areas of systems engineering: concurrency and distribution.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Girault, C., Valk, R. (2003). Introduction. In: Petri Nets for Systems Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05324-9_19
Download citation
DOI: https://doi.org/10.1007/978-3-662-05324-9_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-07447-9
Online ISBN: 978-3-662-05324-9
eBook Packages: Springer Book Archive