1019 search results - page 22 / 204 » Transformations of Petri Nets |
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper presents the design and implementation of a Mission Control System (MCS) for an Autonomous Underwater Vehicle (AUV) based on Petri nets. In the proposed appr...
EMISA
2002
Springer
14 years 9 months ago
2002
Springer
: We present a twofolded view to the Petri Net Markup Language (PNML). On the one hand we describe the current state of PNML seen while adopting PNML for an existing tool. The exte...
NC
2010
14 years 8 months ago
2010
Abstract. In the last fifteen years, several research efforts have been directed towards the representation and the analysis of metabolic pathways by using Petri nets. The goal o...
AWPN
2008
14 years 11 months ago
2008
In this paper we propose a method and present a tool as plugin for Renew that supports the process of discovery of differences in possibly conflicting versions of Petri net code. T...
102
click to vote
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...