Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.21/2208
Título: IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics
Autor: Pereira, Fernando
Moutinho, Filipe
Gomes, Luis
Campos-Rebelo, Rogério
Palavras-chave: IOPT Petri Net
Data: 2011
Editora: IEEE
Citação: 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).
Resumo: 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.
Peer review: yes
URI: http://hdl.handle.net/10400.21/2208
ISBN: 978-1-4577-0434-5
ISSN: 1935-4576
Aparece nas colecções:ISEL - Eng. Electrotécn. - Comunicações

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics.rep.pdf189,13 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.