41 search results - page 3 / 9 » Design CPN - A Computer Tool for Coloured Petri Nets |
TSMC
2010
13 years 3 days ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
STTT
2008
13 years 5 months ago
2008
Military logistics concerns the activities required to support operational forces. It encompasses the storage and distribution of materiel, management of personnel and the provisio...
OTM
2005
Springer
13 years 11 months ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
CPE
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
ACSC
2009
IEEE
13 years 9 months ago
2009
IEEE
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...