4 search results - page 1 / 1 » jnw 2010 |
JNW
2010
13 years 9 months ago
2010
—A Petri net synthesis method is proposed, which is the key method to ensure the synthesis net preserving well behaved properties. Conditions of structural liveness preservation ...
JNW
2010
13 years 9 months ago
2010
Next generation networks are required to provide bandwidth on-demand for fine granularity sessions. In this sense, centralized CAC (Connection Admission Control) approaches could ...
JNW
2010
13 years 9 months ago
2010
Abstract— Tree-based structure is widely used in peer-topeer streaming service and is the fundamental of many other structures, but it suffers a lot from the existence of free-ri...
ENTCS
2002
13 years 10 months ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...