350 search results - page 7 / 70 » Petri Net Analysis Using Invariant Generation |
119
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
136
Voted
CSREAESA
2003
15 years 4 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 ...
118
Voted
WSC
2004
15 years 4 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
142
Voted
ATVA
2007
Springer
15 years 9 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...
106
Voted
INFSOF
2002
15 years 2 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri