On structuring events for IOPT net models

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Citations (Scopus)

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 considering a change in associated signal value 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.
Original languageUnknown
Title of host publicationIFIP Advances in Information and Communication Technology
EditorsLuis M. Camarinha-Matos, Slavisa Tomic, Paula Graça
Place of PublicationBerlin
PublisherSpringer Berlin Heidelberg
Pages229-238
ISBN (Electronic)978-3-642-37291-9
ISBN (Print)978-3-642-37290-2
DOIs
Publication statusPublished - 1 Jan 2013
Event4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013 - Costa de Caparica, Portugal
Duration: 15 Apr 201317 Apr 2013

Conference

Conference4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013
CountryPortugal
CityCosta de Caparica
Period15/04/1317/04/13

Cite this