This paper presents the basic theoretical aspects of Coloured Petri Nets (CP-nets or CPN).
CP-nets have been developed, from being a promising theoretical model, to being a full …

Abstract Coloured Petri Nets (CP-nets or CPN) is a graphical oriented language for design,
specification, simulation and verification of systems. It is in particular well-suited for systems …

This paper presents a methodology and an example of risk assessment of functional-
requirement specifications for complex real-time software systems. A heuristic risk …

It is a very difficult task to estimate abnormal objects and analyze reliability in peer-to-peer
(P2P) networks. In the P2P network environment, successful execution of a program is …

Analiza stabla neispravnosti (ASN) je tehnika za analizu pouzdanosti koja se koristi za
određivanje uzroka i verovatnoće otkaza sistema. ASN je bazirana na stablu neispravnosti …

Reuse has long been recognized as a key technology that can bring about significant
productivity gains in software development. Code-level reuse is wellunderstood and …

Abstract Many Artificial Intelligence decision-making systems operate in cycles. A typical
problem-solving cycle might consist of deliberation, scheduling, and execution steps. At the …

This paper presents an approach to systems analysis and design called the operations-
oriented methodology (OOM). It was developed with the objectives of being comprehensive …

Figure 13.3: Example of an absorbing state within a circuit 151 Figure 13.4: Building blocks
of the STPN in Figure 13.3 154 Figure 13.5: Two components of STPN in Figure 13.4 (a) 157 …

This paper introduces an approach to deal with in complex military's C 4 ISR (command,
control, communication, computer, intelligence, surveillance and reconnaissance) problem …