On Structuring Events for IOPT Net Models


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… (More)
DOI: 10.1007/978-3-642-37291-9_25


5 Figures and Tables

Cite this paper

@inproceedings{CamposRebelo2013OnSE, title={On Structuring Events for IOPT Net Models}, author={Rog{\'e}rio Campos-Rebelo and Anik{\'o} Costa and Lu{\'i}s Gomes}, booktitle={DoCEIS}, year={2013} }