Abstract
This work presents some new ways to analyze a signal that allows the modeling of human-system interactions. In addition to the possibility of creating conditions associated with the current value of the signal, the work focuses mainly on the definition of events and on their use within Input-Output Place-Transition (IOPT) nets models. Currently, non-autonomous events can be defined in two different ways, namely as a threshold detection of a signal, or variation of the first derivative of the signal. Here, this concept is generalized, allowing the analysis of events in higher derivatives of the signal. On the other hand, a new set of types of events are defined for each derivative of the signal, improving existing UP and DOWN events. Finally, an example is used to illustrate discussed concepts.
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
Preview
Unable to display preview. Download preview PDF.
References
Barros, J.P., Gomes, L.: Net model composition and modification by net operations: a pragmatic approach. In: Proc. 2nd IEEE International Conference on Industrial Informatics, Berlin, Germany, pp. 309–314 (2004)
Borger, E., Stark, R.F.: Abstract state machines: a method for high-level system design and analysis. Springer, Heidelberg (2003)
Campos-Rebelo, R., Costa, A., Gomes, L.: On Structuring Events for IOPT Net Models. In: Proc. 4th Doctoral Conference on Computing, Electrical and Industrial Systems, Lisbon, Portugal, pp. 229–238 (2013)
Campos-Rebelo, R., Costa, A., Gomes, L.: Events for Human-System Interaction modeling with IOPT Petri nets. In: Proc. 6th International Conference on Human System Interaction, Gdansk, Poland, pp. 56–61 (2013)
Costa, A., Gomes, L.: Petri net partitioning using net splitting operation. In: Proc. 7th IEEE International Conference on Industrial Informatics, Cardiff, Wales, UK, pp. 204–209 (2009)
David, R., Alla, H.: Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems. Prentice-Hall (1992)
David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer (2010)
Desel, J., Reisig, W.: Place/transition Petri nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 122–173. Springer, Heidelberg (1998)
Frey, G.: Design and formal analysis of Petri net based logic control algorithms. Shaker Verlag (2002)
Frey, G., Minas, M.: Editing, visualizing, and implementing signal interpreted petri nets. In: Proc. 15th German Workshop on Algorithms and Tools for Petri Nets, pp. 57–62 (2000)
Gomes, L., Barros, J.P.: Structuring and composability issues in Petri nets modeling. In: Proc. 3rd IEEE International Conference on Industrial Informatics, Perth, Australia, vol. 1, pp. 112–123 (2005)
Gomes, L., Barros, J.P., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: Proc. 5th IEEE International Conference on Industrial Informatics, Vienna, Austria, pp. 509–514 (2007)
Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8, 231–274 (1987)
Moalla, M., Pulou, J., Sifakis, J.: Synchronized Petri nets: A model for the description of non-autonomous systems. In: Mathematical Foundations of Computer Science, pp. 374–384 (1978)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Campos-Rebelo, R., Costa, A., Gomes, L. (2014). Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets. In: Hippe, Z., Kulikowski, J., Mroczek, T., Wtorek, J. (eds) Human-Computer Systems Interaction: Backgrounds and Applications 3. Advances in Intelligent Systems and Computing, vol 300. Springer, Cham. https://doi.org/10.1007/978-3-319-08491-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-08491-6_4
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08490-9
Online ISBN: 978-3-319-08491-6
eBook Packages: EngineeringEngineering (R0)