IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

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 synth...

Full description

Bibliographic Details
Main Author: Pereira, Fernando (author)
Other Authors: Moutinho, Filipe (author), Gomes, Luís (author), Campos-Rebelo, Rogério (author)
Format: conferenceObject
Language:eng
Published: 2013
Subjects:
IOPT Petri Net
Online Access:http://hdl.handle.net/10400.21/2208
Country:Portugal
Oai:oai:repositorio.ipl.pt:10400.21/2208

Internet

http://hdl.handle.net/10400.21/2208

Similar Items