89
Voted
APN
2009
Springer
15 years 1 months ago
2009
Springer
APN
2009
Springer
15 years 1 months ago
2009
Springer
143
Voted
APN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
109
click to vote
APN
2009
Springer
15 years 7 months ago
2009
Springer
We present a symbolic method for p-semiflow computation, based on zero-suppressed decision diagrams. Both the traditional explicit methods and our new symbolic method rely on Farka...
139
Voted
APN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Consider a Markovian Petri net with race policy. The marking process has a "product form" stationary distribution if the probability of viewing a given marking ...
148
Voted
APN
2009
Springer
15 years 10 months ago
2009
Springer
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
152
Voted
APN
2009
Springer
15 years 10 months ago
2009
Springer
In [LJ06] Lorenz and Juh´as raised the question of whether there exists a suitable formalism for the representation of infinite families of partial orders generated by Petri nets...
155
Voted
APN
2009
Springer
15 years 10 months ago
2009
Springer
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...
107
Voted
APN
2009
Springer
15 years 10 months ago
2009
Springer
139
click to vote
APN
2009
Springer
15 years 10 months ago
2009
Springer
In previous works we defined ν-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverab...