Sciweavers

1099 search results - page 5 / 220
» Petri net ontology
Sort
View
BIRTHDAY
2010
Springer
13 years 6 months ago
QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
Samuel Kounev, Simon Spinner, Philipp Meier
APN
2010
Springer
14 years 2 months ago
Separability in Persistent Petri Nets
We prove that plain, bounded, reversible and persistent Petri nets are weakly and strongly separable.
Eike Best, Philippe Darondeau
APN
2001
Springer
14 years 2 months ago
''What Is a Petri Net?''
The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very different concepts. This contribut...
Jörg Desel, Gabriel Juhás
WSC
2007
14 years 4 days ago
Automatic generation of simulation models for semiconductor manufacturing
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
Ralph Mueller, Christos Alexopoulos, Leon F. McGin...