Verification and validation of control algorithms by coupling of interpreted Petri nets

@inproceedings{Frey1998VerificationAV,
  title={Verification and validation of control algorithms by coupling of interpreted Petri nets},
  author={Georg Frey and Lothar Litz},
  booktitle={SMC},
  year={1998}
}
Interpreted Petri Nets (IPNs) are an extension of the basic Petri Net (PN) framework. They are ordinary PNs with additional components to model the information flow to and from the PN. This contribution gives a general overview of the control design process. Furthermore, it shows how the different tasks in this process, especially analysis, verification and vali dation, can be successfully solved within the formal IPN framework. 

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 25 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 27 REFERENCES

Entwurf und formale Verifikation von Steuerungen mit interpretierten Petri-Netzen

  • G. Frey, L. Litz
  • Proc. of the GMA-Kongreß’98,VDI-Berichte 1397,
  • 1998
2 Excerpts

Sicherheitsgerichte Software

  • R. Oldenbourg
  • Automatisierungstechnik,
  • 1998
1 Excerpt

Formale Verifikation von SPS-Programmen für verfahrenstechnische Prozesse - Ein Überblick

  • S. Kowalewski
  • GMA-Fachtagung Steuerungstechnik , Langen (D…
  • 1997
1 Excerpt

Similar Papers

Loading similar papers…