957 search results - page 43 / 192 » Negotiations and Petri Nets |
TCS
1998
14 years 11 months ago
1998
The complexity of the reachability problem for live and safe free-choice Petri nets has been open for several years. Several partial results seemed to indicate that the problem is...
FUIN
2010
14 years 8 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
TSMC
2010
14 years 6 months ago
2010
This paper introduces a new general methodology for the modeling and reliability evaluation of small isolated power systems, which include wind turbines, photovoltaics, and diesel ...
157
click to vote
CONCUR
2001
Springer
15 years 4 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...