Sciweavers

390 search results - page 29 / 78
» Application of Coloured Petri Nets in System Development
Sort
View
FORMATS
2006
Springer
14 years 5 days ago
On the Computational Power of Timed Differentiable Petri Nets
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
Serge Haddad, Laura Recalde, Manuel Silva
TSMC
2010
13 years 3 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
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...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z...
DAC
1994
ACM
14 years 18 days ago
A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
Gjalt G. de Jong, Bill Lin
ICIW
2009
IEEE
14 years 3 months ago
Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
Nasreddine Aoumeur, Kamel Barkaoui
ICANN
2003
Springer
14 years 1 months ago
Application of Vision Models to Traffic Sign Recognition
A system for traffic sign recognition has been developed. Both colour and shape information from signs are utilised for extraction of features. Colour appearance model CIECAM97 has...
X. W. Gao, L. Podladchikova, D. Shaposhnikov