Skip to Main content Skip to Navigation
Conference papers

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

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.
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01274778
Contributor : Hal Ifip <>
Submitted on : Tuesday, February 16, 2016 - 11:18:52 AM
Last modification on : Tuesday, October 15, 2019 - 3:36:02 PM
Document(s) archivé(s) le : Tuesday, May 17, 2016 - 5:23:53 PM

File

978-3-642-54734-8_25_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Rogério Campos-Rebelo, Anikó Costa, Luís Gomes. Elementary Events for Modeling of Human-System Interactions with Petri Net Models. 5th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2014, Costa de Caparica, Portugal. pp.219-226, ⟨10.1007/978-3-642-54734-8_25⟩. ⟨hal-01274778⟩

Share

Metrics

Record views

134

Files downloads

207