Advertisement

Elementary Events for Modeling of Human-System Interactions with Petri Net Models

  • Rogério Campos-Rebelo
  • Anikó Costa
  • Luís Gomes
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 423)

Abstract

This paper presents a proposal for structuring events for system models expressed using IOPT nets (Input-Output Place-Transition Petri nets). Currently, a non-autonomous event within an IOPT model is defined based on change of input signals with respect to a specific threshold, when two consecutive execution steps are considered. New types of events are proposed, allowing the definition of an event activated not only by crossing a fixed threshold, but also by considering a change in associated signal values on a specific amount (belonging to an interval of values). The concept is further extended allowing the definition of an event based on signal values presented on previous execution steps. The proposal results on a classification of several types of events, namely threshold events, momentum events, impetus events, as well as delayed events and logical events. Usage of these types of events allows improvements in terms of expressiveness and compactness of the resulted model.

Keywords

Petri nets embedded systems human-system interaction 

References

  1. 1.
    Eckert, M., Bry, F.: Complex Event Processing (CEP). Informatik-Spektrum 32(2), 163–167 (2009), http://dx.doi.org/10.1007/s00287-009-0329-6 CrossRefGoogle Scholar
  2. 2.
    Statecharts, H.D.: A visual formalism for complex systems. Sci. Comput. Program 8(3), 231–274 (1987)CrossRefGoogle Scholar
  3. 3.
    Börger, E., Stärk, R.: Abstract state machines: a method for high-level system design and analysis. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Petri CA. Kommunikation mit Automaten (Communication with Automata) Hamburg (1962), http://edoc.sub.uni-hamburg.de/informatik/volltexte/2011/160
  5. 5.
    Peterson, J.: Petri Nets. ACM Comput. Surv. 9(3), 223–252 (1977)CrossRefzbMATHGoogle Scholar
  6. 6.
    Zurawski, R., MengChu, Z.: Petri nets and industrial applications: A tutorial. Ind. Electron IEEE Trans. 41(6), 567–583 (1994)CrossRefGoogle Scholar
  7. 7.
    Murata, T.: Petri nets: Properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  8. 8.
    Gomes, L., Barros, J.P., Costa, A.: Modeling Formalisms for Embedded Systems Design. In: Zurawski, R. (ed.) Embed. Syst. Handb. (2005)Google Scholar
  9. 9.
    Moussa, F., Riahi, M., Kolski, C., Moalla, M.: Interpreted Petri Nets used for Human-Machine Dialogue Specification in Process Control: principles and application to the Ergo-Conceptor+ tool. Integr. Comput. Aided Eng., 87–98 (2002)Google Scholar
  10. 10.
    Moalla, M., Pulou, J., Sifakis, J.: Synchronized petri nets: A model for the description of non-autonomous sytems. Math. Found. Comput. Sci., 374–384 (1978)Google Scholar
  11. 11.
    Gomes, L., Barros, J.P., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: 5th IEEE Int. Conf. on Ind. Informatics, pp. 509–514 (2007)Google Scholar
  12. 12.
    Campos-Rebelo, R., Costa, A., Gomes, L.: On structuring events for IOPT net models. In: Camarinha-Matos, L.M., Tomic, S., Graça, P. (eds.) DoCEIS 2013. IFIP AICT, vol. 394, pp. 229–238. Springer, Heidelberg (2013)CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2014

Authors and Affiliations

  • Rogério Campos-Rebelo
    • 1
    • 2
  • Anikó Costa
    • 1
    • 2
  • Luís Gomes
    • 1
    • 2
  1. 1.Faculdade de Ciências e TecnologiaUniversidade Nova de LisboaPortugal
  2. 2.Centro de Tecnologias e SistemasUNINOVAPortugal

Personalised recommendations