75 search results - page 2 / 15 » A Petri Net Approach to Verify and Debug Simulation Models |
WSC
1998
14 years 10 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
14 years 11 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...
68
Voted
JISE
2008
14 years 9 months ago
2008
CNSR
2006
IEEE
15 years 3 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...
84
Voted
SERP
2004
14 years 10 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...