Publicação

On the verification of non-autonomous Petri net models using autonomous petri net tools

Detalhes bibliográficos
Resumo:	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.
Autores principais:	Barros, João
Outros Autores:	Gomes, Luis; Costa, Aniko
Assunto:	Petri Net
Ano:	2012
País:	Portugal
Tipo de documento:	comunicação em conferência
Tipo de acesso:	acesso restrito
Instituição associada:	Instituto Politécnico de Beja
Idioma:	inglês
Origem:	Repositório Institucional do IPBeja

Registos relacionados

PNML based composition in non-autonomous Petri net models
por: Gomes, L.
Publicado em: (2009)

From non-autonomous Petri net models to executable state machines
por: Barros, João Paulo
Publicado em: (2019)

Model composition by reusing Petri net based modules
por: Costa, Aniko
Publicado em: (2012)

Coloured Petri Net Model of the bCMS system using CPN tools
por: Brito, Isabel
Publicado em: (2013)

On the use of programming languages for textual specification of Petri Net Models
por: Barros, João Paulo
Publicado em: (2007)

Guidelines for modelling reactive systems with coloured Petri nets
por: Madalena, Gonçalves
Publicado em: (2013)

Petri Net based specification and verification of globally-asynchronous-locally-synchronous system
por: Moutinho, Filipe
Publicado em: (2011)

Exploring high-level petri nets for model-driven development of digital controllers
por: Barros, João
Publicado em: (2025)

Distributed controllers modeling through Petri nets with multi-asynchronous-channels
por: Moutinho, Filipe
Publicado em: (2015)

An Ecore based Petri net type definition for PNML IOPT models
por: Ribeiro, J.
Publicado em: (2011)

Unmanned aerial vehicle safety assessment modelling through petri Nets
por: Gonçalves, P.
Publicado em: (2017)

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics
por: Pereira, Fernando
Publicado em: (2011)

VHDL generation from hierarchical petri net specifications of parallel controllers
por: Fernandes, João M.
Publicado em: (1997)

Validation of scenario-based business requirements with Coloured Petri Nets
por: Ribeiro, Óscar R.
Publicado em: (2009)

An evolutionary approach to the use of petri net based models : from parallel controllers to Hw/Sw codesign
por: Machado, Ricardo J.
Publicado em: (2000)

Remote operation of embedded controllers designed using IOPT Petri-nets
por: Pereira, Fernando
Publicado em: (2015)

Refining IOPT Petri Nets Class for Embedded System Controller Modeling
por: Gomes, Luís
Publicado em: (2018)

Input event modeling for discrete-event controllers: A petri net approach
por: Gomes, Luís
Publicado em: (2022)

High-level Petri nets modules for embedded controllers design
por: Ribeiro, José
Publicado em: (2015)

Formal requirements modeling with executable use cases and Coloured Petri Nets
por: Jorgensen, Jens B.
Publicado em: (2009)

Leveraging the pedagogical potential of tile-based games for teaching petri net modeling, the sokoban case
por: Barros, João
Publicado em: (2024)

Designing tool support for translating use cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net
por: Fernandes, João M.
Publicado em: (2007)

Using petri nets for analysis of navigation paths in constrained graphs – application to roguelike games
por: Gomes, Luis
Publicado em: (2024)

Merging and splitting Petri net models within distributed embedded controller design
por: Gomes, Luís
Publicado em: (2013)

Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models
por: Pereira, Fernando
Publicado em: (2013)

An evolutionary approach to the use of Petri net based models: from parallel controllers to HW/SW co-design
por: Machado, Ricardo J.
Publicado em: (1998)

From UML State Machines to Petri nets: history attribute translation strategies
por: Pais, Rui
Publicado em: (2011)

The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development
por: Pereira, Fernando
Publicado em: (2016)

From Petri net models to C implementation of digital controllers
por: Gomes, L.
Publicado em: (2010)

From SysML State Machines to Petri Nets using ATL Transformations
por: Pais, Rui
Publicado em: (2014)

Assisting data warehousing populating processes design through modelling using Coloured Petri Nets
por: Silva, Diogo
Publicado em: (2013)

Multi-level dynamic modeling in biological systems : application of hybrid Petri nets to network simulation
por: Costa, Rafael S.
Publicado em: (2012)

Modeling multi-agent systems activities through colored petri nets : an industrial production system case study
por: Fernandes, João M.
Publicado em: (1998)

Colored Petri nets in the simulation of ETL standard tasks: the surrogate key pipelining case
por: Silva, Diogo
Publicado em: (2012)

Extending IOPT nets with a module construct
por: Ribeiro, José
Publicado em: (2016)

Feature Nets: behavioural modelling of software product lines
por: Muschevici, Radu
Publicado em: (2016)

Orchestrating smart health: A nets-within-nets approach for hybrid fall detection systems∗
por: Pica, João
Publicado em: (2026)

Towards an integrated tool support for the analysis of IOPT Nets using the Spin Model Checker
por: Barros, João
Publicado em: (2022)

Simulação e síntese de controladores paralelos a partir de especificações baseados em redes de Petri
por: Fernandes, João M.
Publicado em: (1995)

Leveraging high-level petri nets for cyber-physical systems development
por: Fernandes, Nuno
Publicado em: (2024)