Search Sciweavers | Sciweavers

350 search results - page 7 / 70

» Petri Net Analysis Using Invariant Generation

click to vote

DAGSTUHL
2006

144views Software Engineering» more DAGSTUHL 2006»

A Petri Net Approach to Verify and Debug Simulation Models

13 years 10 months ago

Download drops.dagstuhl.de

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...

Peter Kemper, Carsten Tepper

claim paper

Read More »

click to vote

CSREAESA
2003

160views Embedded Systems» more CSREAESA 2003»

Worst Case Execution Time Analysis for Petri Net Models of Embedded Systems

13 years 10 months ago

Download www.c-lab.de

We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net speciﬁcations. The presented approach is part ...

Friedhelm Stappert, Carsten Rust

claim paper

Read More »

click to vote

WSC
2004

133views Modeling And Simulation» more WSC 2004»

Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks

13 years 10 months ago

Download www.informs-sim.org

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...

Hans Vangheluwe, Juan de Lara

claim paper

Read More »

click to vote

ATVA
2007
Springer

153views Hardware» more ATVA 2007»

Continuous Petri Nets: Expressive Power and Decidability Issues

14 years 2 months ago

Download www.lsv.ens-cachan.fr

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...

Laura Recalde, Serge Haddad, Manuel Silva

claim paper

Read More »

click to vote

INFSOF
2002

85views more INFSOF 2002»

A methodology of testing high-level Petri nets

13 years 8 months ago