Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/659
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Barros, João Paulo | - |
dc.contributor.author | Gomes, Luis | - |
dc.contributor.author | Costa, Aniko | - |
dc.date.accessioned | 2013-12-10T12:13:22Z | - |
dc.date.available | 2013 | - |
dc.date.available | 2013-12-10T12:13:22Z | - |
dc.date.issued | 2012-10 | - |
dc.identifier.citation | [IEEE style] J. P. Barros, L. Gomes, A. Costa, and I. I. E. Society, "On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools," 38th Annual Conference on Ieee Industrial Electronics Society (Iecon 2012), pp. 6138-6143, 2012. | pt_PT |
dc.identifier.isbn | 978-146732421-2 | - |
dc.identifier.uri | https://hdl.handle.net/20.500.12207/659 | - |
dc.description.abstract | This paper shows how to transform the input part of a class of non-autonomous Petri net models into behaviorally equivalent autonomous models. To that end, it proposes a set of transformations and compositions to replace non-autonomous annotations by structurally equivalent net modules. The resulting model can be analyzed by existing tools for autonomous Place/Transition nets supporting a maximal step semantics and, preferably, priorities in transitions. This possibility was tested using a freely available analysis tool for Place/Transition nets. | pt_PT |
dc.language.iso | eng | pt_PT |
dc.publisher | IEEE | pt_PT |
dc.rights | info:eu-repo/semantics/closedAccess | pt_PT |
dc.subject | Petri Net | pt_PT |
dc.subject.classification | Indexação ISI | pt_PT |
dc.subject.classification | Indexação Scopus | pt |
dc.title | On the verification of non-autonomous Petri net models using autonomous petri net tools | pt_PT |
dc.type | conferenceObject | pt_PT |
dc.peerreviewed | yes | pt_PT |
degois.publication.firstPage | 25 | pt_PT |
degois.publication.lastPage | 28 | pt_PT |
degois.publication.location | Montreal, Canada | pt_PT |
degois.publication.title | 38th Annual Conference on IEEE-Industrial-Electronics-Society | pt_PT |
Appears in Collections: | D-ENG - Artigos em revistas com peer review |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.