638 search results - page 93 / 128 » Animation modeling with petri nets |
APN
2010
Springer
14 years 1 hour ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAā...
UML
2004
Springer
14 years 1 months ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
KDD
1995
ACM
13 years 11 months ago
1995
ACM
The main objective of machine discovery is the determination of relations between data and of data models. In the paper we describe a method for discovery of data models represent...
APCCM
2007
13 years 9 months ago
2007
A business process may be modeled in diļ¬erent ways by diļ¬erent modelers even when utilizing the same modeling language. An appropriate method for solving ambiguity issues in p...
IJSEKE
2008
13 years 7 months ago
2008
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...