305 search results - page 9 / 61 » Petri Net Analysis Using Decision Diagrams |
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...
INFSOF
2002
14 years 9 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
89
Voted
NC
2010
14 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...
SMC
2007
IEEE
15 years 3 months ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
101
click to vote
SQJ
2008
14 years 9 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...