Relationship between Simulink and Petri Nets

Debjyoti Bera, Kees van Hee, Henk Nijmeijer

2014

Abstract

Matlab/Simulink is an industrial tool that is widely used to design and validate control algorithms for embedded control systems using numerical simulation. A Simulink model of a control system typically defines one or more control algorithms together with their environment. Such models exhibit both discrete and continuous dynamics, simulated by discretizing time. On the other hand, a colored Petri net (CPN) is a well known formalism for modeling behavior of discrete event systems. In this paper, we give a formal semantics to Simulink using the CPN formalism, by describing how Simulink models can be expressed as a CPN. We also show how Petri nets can be simulated in Simulink. Finally, we show how a CPN model can be used for performance analysis of a Simulink model.

References

  1. Agrawal, A., Simon, G., and Karsai, G. (2004). Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations. In International Workshop on Graph Transformation and Visual Modeling Techniques, page 2004.
  2. Alur, R. and Dill, D. L. (1994). A Theory of Timed Automata. Theoretical Computer Science, 126:183-235.
  3. Bera, D., van Hee, K., and Sidorova, N. (2013). Discrete Timed Petri nets. Computer Science Report 13- 03, Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands.
  4. Bouissou, O. and Chapoutot, A. (2012). An Operational Semantics for Simulink's Simulation Engine. In Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, LCTES 7812, pages 129-138, New York, NY, USA. ACM.
  5. Bowden, F. D. (2000). A brief survey and synthesis of the roles of time in Petri nets. Mathematical and Computer Modelling, 31(10):55-68.
  6. Cassandras, C. G. and Lafortune, S. (2006). Introduction to Discrete Event Systems. Springer-Verlag New York, Inc., Secaucus, NJ, USA.
  7. Cassez, F. and Roux, O. H. (2006). Structural translation from Time Petri Nets to Timed Automata. Journal of Systems and Software, 79(10):1456-1468.
  8. Denckla, B. and Mosterman, P. J. (2005). Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems. In In IEEE CDC-ECC 05.
  9. Hopcroft, J. E. and Ullman, J. D. (1979). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley Publishing Company.
  10. Jensen, K., Kristensen, L. M., and Wells, L. (2007). Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. Int. J. Softw. Tools Technol. Transf., 9(3):213-254.
  11. Peterson, J. L. (1981). Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River, NJ, USA.
  12. Reisig, W. (1985). Petri nets: An Introduction. SpringerVerlag New York, Inc.
  13. Tiwari, A. (2002). Formal Semantics and Analysis Methods for Simulink Stateflow Models. Technical Report, SRI International.
  14. Tripakis, S., Sofronis, C., Caspi, P., and Curic, A. (2005). Translating Discrete-time Simulink to Lustre. ACM Trans. Embed. Comput. Syst., 4(4):779-818.
  15. van Hee, K. and Sidorova, N. (2013). The Right Timing: Reflections on the Modeling and Analysis of Time. In Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'13, pages 1-20, Berlin, Heidelberg. Springer-Verlag.
  16. Zhou, C. and Kumar, R. (2012). Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata. Disc. Event Dyn. Sys., 22(2):223-247.
Download


Paper Citation


in Harvard Style

Bera D., van Hee K. and Nijmeijer H. (2014). Relationship between Simulink and Petri Nets . In Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-038-3, pages 12-23. DOI: 10.5220/0005012000120023


in Bibtex Style

@conference{simultech14,
author={Debjyoti Bera and Kees van Hee and Henk Nijmeijer},
title={Relationship between Simulink and Petri Nets},
booktitle={Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2014},
pages={12-23},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005012000120023},
isbn={978-989-758-038-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Relationship between Simulink and Petri Nets
SN - 978-989-758-038-3
AU - Bera D.
AU - van Hee K.
AU - Nijmeijer H.
PY - 2014
SP - 12
EP - 23
DO - 10.5220/0005012000120023