Publication
IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics
| dc.contributor.author | Pereira, Fernando | |
| dc.contributor.author | Moutinho, Filipe | |
| dc.contributor.author | Gomes, Luís | |
| dc.contributor.author | Campos-Rebelo, Rogério | |
| dc.date.accessioned | 2013-02-15T15:51:37Z | |
| dc.date.available | 2013-02-15T15:51:37Z | |
| dc.date.issued | 2011 | |
| dc.description.abstract | This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space. | por |
| dc.identifier.citation | PEREIRA, Fernando; MOUTINHO, Filipe; GOMES, Luis; CAMPOS-REBELO, Rogério - IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics. 2011 9TH IEEE International Conference on Industrial Informatics (INDIN). ISS 1935-4576. ISBN 978-1-4577-0434-5. (2011). | por |
| dc.identifier.isbn | 978-1-4577-0434-5 | |
| dc.identifier.issn | 1935-4576 | |
| dc.identifier.uri | http://hdl.handle.net/10400.21/2208 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.publisher | IEEE | por |
| dc.subject | IOPT Petri Net | por |
| dc.title | IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics | por |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | New York | por |
| oaire.citation.title | 2011 9TH IEEE International Conference on Industrial Informatics (INDIN) | por |
| person.familyName | Pereira | |
| person.familyName | Moutinho | |
| person.familyName | Campos-Rebelo | |
| person.givenName | Fernando | |
| person.givenName | Filipe | |
| person.givenName | Rogério | |
| person.identifier | 552529 | |
| person.identifier.ciencia-id | A61F-0A49-3FC5 | |
| person.identifier.orcid | 0000-0001-7255-369X | |
| person.identifier.orcid | 0000-0002-0930-7418 | |
| person.identifier.orcid | 0000-0001-7177-7966 | |
| person.identifier.rid | D-1015-2012 | |
| person.identifier.scopus-author-id | 47561072800 | |
| rcaap.rights | restrictedAccess | por |
| rcaap.type | conferenceObject | por |
| relation.isAuthorOfPublication | 7a448068-c78a-4f07-988e-3793c38f0e73 | |
| relation.isAuthorOfPublication | ab4d9d32-c57d-4e75-ae66-baa6450bb5be | |
| relation.isAuthorOfPublication | 289e1d08-1140-4f3c-b4df-dc214f616e65 | |
| relation.isAuthorOfPublication.latestForDiscovery | 7a448068-c78a-4f07-988e-3793c38f0e73 |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics.rep.pdf
- Size:
- 189.13 KB
- Format:
- Adobe Portable Document Format
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: