75 search results - page 2 / 15 » A Petri Net Approach to Verify and Debug Simulation Models |
WSC
1998
13 years 6 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
ECLIPSE
2005
ACM
13 years 7 months ago
2005
ACM
— In this paper we present a new approach to workflow analysis. There are efforts to design and verify workflow models using both Activity diagrams and Petri nets. We model the w...
JISE
2008
13 years 5 months ago
2008
CNSR
2006
IEEE
13 years 11 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
SERP
2004
13 years 6 months ago
2004
This paper presents a Petri net-based hierarchical architecture for multiple Unmanned Aerial Vehicle (UAV) simulations in order to facilitate rapid prototyping via visual modeling...