Sciweavers

957 search results - page 4 / 192
» Negotiations and Petri Nets
Sort
View
APN
2006
Springer
15 years 1 months ago
Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets
This paper presents the EXHOST-PIPE software: an extension of PIPE
Olivier Bonnet-Torrés, Patrice Domenech, Ch...
BIRTHDAY
2010
Springer
14 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
56
Voted
APN
2010
Springer
15 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
80
Voted
APN
2001
Springer
15 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