245 search results - page 6 / 49 » Software Performance Modeling Using UML and Petri Nets |
ICFEM
2009
Springer
14 years 7 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
SERP
2004
14 years 11 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...
127
click to vote
ICSEA
2009
IEEE
14 years 7 months ago
2009
IEEE
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
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...
106
Voted
QEST
2007
IEEE
15 years 3 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...