Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/4968
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Barros, João Paulo | por |
dc.contributor.author | Gomes, Luís | por |
dc.date.accessioned | 2019-10-24T16:55:03Z | - |
dc.date.available | 2019-10-24T16:55:03Z | - |
dc.date.issued | 2019-06 | - |
dc.identifier.uri | http://hdl.handle.net/20.500.12207/4968 | - |
dc.description.abstract | Petri nets have long been known as a readable and powerful graphical modelling language. In particular, Petri nets also allow the creation of high-level models of embedded controllers. These models can be translated to executable code. This possibility is already available in some tools including the IOPT Tools. Another possibility is to translate the Petri net model into a state machine, which can then be easily executed by an even larger number of platforms for cyber-physical systems. In that sense, this paper presents a tool that is able to generate a state machine from a non-autonomous class of Petri supported by the IOPT Tools framework (which is publicly available). These state machines would be too large to be manually generated, but can now be automatically created, simulated, and verified using an higher-level modelling language. The state machines can then be used for execution or even as input for additional verification tools. This paper presents the translation algorithm and an illustrative example. | por |
dc.description.sponsorship | This work was partially financed by Portuguese Agency FCT Fundação para a Ciência e Tecnologia, in the framework of project UID/EEA/00066/2019. | por |
dc.language.iso | eng | por |
dc.publisher | IEEE | por |
dc.relation | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FEEA%2F00066%2F2019/PT | por |
dc.rights | embargoedAccess | por |
dc.rights.uri | http://creativecommons.org/licenses/by-nd/4.0/ | por |
dc.subject | Cyber-physical systems | por |
dc.subject | Finite state machines | por |
dc.subject | Formal specification | por |
dc.subject | Formal verification | por |
dc.subject | Petri nets | por |
dc.subject | Visual languages | por |
dc.subject | Nonautonomous Petri net models | por |
dc.subject | Executable state machines | por |
dc.subject | Readable language | por |
dc.subject | Executable code | por |
dc.subject | Higher-level modelling language | por |
dc.subject | Verification tools | por |
dc.subject | Graphical modelling language | por |
dc.subject | IOPT Tools | por |
dc.subject | model-driven development | por |
dc.subject | Formal specification | por |
dc.subject | input-output place-transition nets | por |
dc.subject | Tools | por |
dc.subject | Semantics | por |
dc.subject | Generators | por |
dc.subject | Concurrent computing | por |
dc.subject | Embedded systems | por |
dc.title | From non-autonomous Petri net models to executable state machines | por |
dc.type | article | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://dx.doi.org/10.1109/ISIE.2019.8781246 | por |
degois.publication.firstPage | 1638 | por |
degois.publication.lastPage | 1643 | por |
degois.publication.location | Vancouver, BC, Canada | por |
degois.publication.title | 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE) | por |
dc.identifier.doi | 10.1109/ISIE.2019.8781246 | por |
Appears in Collections: | D-ENG - Comunicações com peer review |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
From non-autonomous Petri net models to executable state machines.pdf | 877.38 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License