Graphical Formalism for Signal Interpretation Modeling

  • R. Campos-RebeloEmail author
  • A. Costa
  • L. Gomes
Part of the Topics in Intelligent Engineering and Informatics book series (TIEI, volume 14)


This chapter presents a novel graphical formalism dedicated to the modeling of input signals interpretation. Graphical modeling formalisms have a significant contribution in the development of systems because they are easy to interpret by humans. However, when the models become very large, they are difficult to interpret, losing one of its most important characteristics. Several approaches have been proposed to deal with this problem. Two of the most relevant are hierarchical structuring and partitioning in smaller, interconnected models. The presented formalism allows to model the acquisition of information through signals from the environment and interpret this information by defining associated events and conditions. A graphical syntax is defined, which allows an easier analysis by humans. This approach allows the separation of this part of the model into an independent model with features allowing its easily linking with the execution model. The formalism has specific characteristics for the modeling of signals’ interpretation, allowing a more compact and intuitive modeling of the execution model. A simple example is used illustrating the formalism usage.


Discrete-event systems Event composition Modeling formalisms Signal interpretation 



This work was partially financed by Portuguese Agency FCT Fundação para a Ciência e Tecnologia, in the framework of project UID/EEA/00066/2013.


  1. 1.
    F.W. Kistermann, The invention and development of the hollerith punched card: in commemoration of the 130th anniversary of the birth of Herman Hollerith and for the 100th anniversary of large scale data processing. Ann. Hist. Comput. 13(3), 245–259 (1991)Google Scholar
  2. 2.
    MDA, The Architecture of Choice for a Changing World (2018). Available (Online)
  3. 3.
    D. Harel, Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)CrossRefGoogle Scholar
  4. 4.
    E. Börger, R.F. Stärk, Abstract State Machines: A Method for High-level System Design and Analysis, vol. 14 (Springer, Berlin, 2003)CrossRefGoogle Scholar
  5. 5.
    K. Jensen, High-level petri nets, in Applications and Theory of Petri Nets (Springer, 1983), pp. 166–180Google Scholar
  6. 6.
    W. Reisig, H. Berlin, Distributed Algorithms: Modeling and Analysis with Petri Nets (W. Reisig Institut fur Informatik Humboldt-Universitat, 1998) pp. 38–43Google Scholar
  7. 7.
    R. Zurawski, Z. MengChu, Petri nets and industrial applications: a tutorial. Ind. Electron. IEEE Trans. 41(6), 567–583 (1994)CrossRefGoogle Scholar
  8. 8.
    L. Gomes, J.P. Barros, A. Costa, R. Nunes, The input-output place-transition petri net class and associated tools, in 2007 5th IEEE International Conference on Industrial Informatics, vol. 1 (2007), pp. 509–514Google Scholar
  9. 9.
    J. Desel, W. Reisig, Place/transition petri nets, in Lectures on Petri Nets I: Basic Models, vol. 1491, ed. by W. Reisig, G. Rozenberg (Springer, Berlin, 1998), pp. 122–173CrossRefGoogle Scholar
  10. 10.
    R. David, H. Alla, Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems (Prentice Hall, 1992)Google Scholar
  11. 11.
    L. Gomes, J.P. Barros, Structuring and composability issues in petri nets modeling. IEEE Trans. Ind. Inform. 1(2), 112–123 (2005)Google Scholar
  12. 12.
    J.-P. P. Barros, L. Gomes, Net model composition and modification by net operations: a pragmatic approach, in 2004 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN ’04 (2004), pp. 309–314Google Scholar
  13. 13.
    A. Costa, L. Gomes, Petri net partitioning using net splitting operation, in 7th IEEE International Conference on Industrial Informatics, 2009. INDIN 2009 (2009), pp. 204–209Google Scholar
  14. 14.
    D. Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems (Addison Wesley Publishing Company Incorporated, 2013)Google Scholar
  15. 15.
    C. Zang, Y. Fan, Complex event processing in enterprise information systems based on RFID. Enterp. Inf. Syst., 1(1), 3–23 (2007)Google Scholar
  16. 16.
    R. Bruns, J. Dunkel, Event-Driven Architecture (Springer, London, 2010)CrossRefGoogle Scholar
  17. 17.
    Y. Yan, Y. Yang, D. Meng, G. Liu, W. Tong, A.G. Hauptmann, N. Sebe, Event oriented dictionary learning for complex event detection. Image Process. IEEE Trans. 24(6), 1867–1878 (2015)CrossRefGoogle Scholar
  18. 18.
    D.C. Luckham, B. Frasca, Complex event processing in distributed systems, vol. 28. Computer System Laboratory, Technical Report, CSL-TR-98-754 (Stanford University, Stanford, 1998)Google Scholar
  19. 19.
    H. Taylor, A. Yochem, L. Phillips, F. Martinez, Event-Driven Architecture: How SOA Enables the Real-Time Enterprise (Pearson Education, 2009)Google Scholar
  20. 20.
    S. Overbeek, B. Klievink, M. Janssen, A flexible, event-driven, service-oriented architecture for orchestrating service delivery. Intell. Syst. IEEE 24(5), 31–41 (2009)CrossRefGoogle Scholar
  21. 21.
    D.C. Luckham, Rapide: A Language and Toolset for Simulation of Distributed Systems by Partial Orderings of Events (Computer Systems Laboratory, Stanford University, 1996)zbMATHGoogle Scholar
  22. 22.
    D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan, W. Mann, Specification and analysis of system architecture using Rapide. Softw. Eng. IEEE Trans. 21(4), 336–354 (1995)CrossRefGoogle Scholar
  23. 23.
    D.C. Luckham, J. Vera, An event-based architecture definition language. Softw. Eng. IEEE Trans. 21(9), 717–734 (1995)CrossRefGoogle Scholar
  24. 24.
    R. Campos-Rebelo, A. Costa, L. Gomes, Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets, vol. 300 (2014)Google Scholar
  25. 25.
    R. Campos-Rebelo, A. Costa, L. Gomes, Event life time in detection of sequences of events, in Proceedings of the IEEE International Conference on Industrial Technology (2015), pp. 3144–3149Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Faculdade de Ciências e TecnologiaUniversidade Nova de LisboaLisbonPortugal
  2. 2.Centro de Tecnologia e SistemasUNINOVACosta de CaparicaPortugal
  3. 3.Escola Superior de Tecnologia e GestãoInstituto Politécnico BejaBejaPortugal

Personalised recommendations