Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations

Filipe Moutinho; Luís Filipe dos Santos Gomes

doi:10.1109/IECON.2012.6389075

Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations

Filipe Moutinho, Luís Filipe dos Santos Gomes

DEE - Departamento de Engenharia Electrotécnica e de Computadores

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

17 Citations (Scopus)

Abstract

This paper presents a new Web based Petri net Editor employing AJAX principles to allow the interactive design and edition of Petri net models using standard Web browsers. The editor includes an integrated plug-in architecture to simplify the addition of generic net operations without requiring the manipulation of internal editor data-structures. IOPT-nets are a non-autonomous Petri net class targeting the model-based development of embedded system controllers and combine the well know properties of Petri nets with input and output signals and events to establish the communication of controllers with the external world. The editor is a part of the IOPT-tools Web service that also contains model-checking and automatic code-generation tools, supporting a complete model-based development work-flow, starting from model design to the final controller code generation. All tools are available at the research group Web page (http://gres.uninova.pt).

Original language	Unknown
Title of host publication	IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society
Pages	6151-6156
ISBN (Electronic)	978-1-4673-2420-5
DOIs	https://doi.org/10.1109/IECON.2012.6389075
Publication status	Published - 1 Jan 2012
Event	IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society - Duration: 1 Jan 2012 → …

Conference

Conference	IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society
Period	1/01/12 → …

Access to Document

10.1109/IECON.2012.6389075

Cite this

@inproceedings{d866307245574eff98b887e89ef51fba,

title = "Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations",

abstract = "This paper presents a new Web based Petri net Editor employing AJAX principles to allow the interactive design and edition of Petri net models using standard Web browsers. The editor includes an integrated plug-in architecture to simplify the addition of generic net operations without requiring the manipulation of internal editor data-structures. IOPT-nets are a non-autonomous Petri net class targeting the model-based development of embedded system controllers and combine the well know properties of Petri nets with input and output signals and events to establish the communication of controllers with the external world. The editor is a part of the IOPT-tools Web service that also contains model-checking and automatic code-generation tools, supporting a complete model-based development work-flow, starting from model design to the final controller code generation. All tools are available at the research group Web page (http://gres.uninova.pt).",

author = "Filipe Moutinho and Gomes, {Lu{\'i}s Filipe dos Santos}",

year = "2012",

month = jan,

day = "1",

doi = "10.1109/IECON.2012.6389075",

language = "Unknown",

isbn = "978-1-4673-2419-9",

pages = "6151--6156",

booktitle = "IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society",

note = "IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society ; Conference date: 01-01-2012",

}

TY - GEN

T1 - Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations

AU - Moutinho, Filipe

AU - Gomes, Luís Filipe dos Santos

PY - 2012/1/1

Y1 - 2012/1/1

N2 - This paper presents a new Web based Petri net Editor employing AJAX principles to allow the interactive design and edition of Petri net models using standard Web browsers. The editor includes an integrated plug-in architecture to simplify the addition of generic net operations without requiring the manipulation of internal editor data-structures. IOPT-nets are a non-autonomous Petri net class targeting the model-based development of embedded system controllers and combine the well know properties of Petri nets with input and output signals and events to establish the communication of controllers with the external world. The editor is a part of the IOPT-tools Web service that also contains model-checking and automatic code-generation tools, supporting a complete model-based development work-flow, starting from model design to the final controller code generation. All tools are available at the research group Web page (http://gres.uninova.pt).

AB - This paper presents a new Web based Petri net Editor employing AJAX principles to allow the interactive design and edition of Petri net models using standard Web browsers. The editor includes an integrated plug-in architecture to simplify the addition of generic net operations without requiring the manipulation of internal editor data-structures. IOPT-nets are a non-autonomous Petri net class targeting the model-based development of embedded system controllers and combine the well know properties of Petri nets with input and output signals and events to establish the communication of controllers with the external world. The editor is a part of the IOPT-tools Web service that also contains model-checking and automatic code-generation tools, supporting a complete model-based development work-flow, starting from model design to the final controller code generation. All tools are available at the research group Web page (http://gres.uninova.pt).

U2 - 10.1109/IECON.2012.6389075

DO - 10.1109/IECON.2012.6389075

M3 - Conference contribution

SN - 978-1-4673-2419-9

SP - 6151

EP - 6156

BT - IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society

T2 - IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society

Y2 - 1 January 2012

ER -