287 search results - page 6 / 58 » Modular Analysis of Petri Nets |
ATVA
2007
Springer
14 years 2 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...
APN
2001
Springer
14 years 6 days ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
NC
2010
13 years 7 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...
INFSOF
2002
13 years 8 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
CSREAESA
2003
13 years 10 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...