Results 61 to 70 of about 315,703 (191)
Cyber Attack Simulation for Operational Security Evaluation Using Coloured Petri Nets
International Journal of Information and Communication Technology Research, 2012 Today, cyber attacks to computer networks have turned into a real challenge for network administrators. A wide range of methods have been used for attack modeling and security quantification.
Mehrdad Ashtiani +1 more
doaj
From RT-LOTOS to Time Petri Nets new foundations for a verification platform [PDF]
, 2005 The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verification platform has been developed for early detection of design errors in ...
Sadani, Tarek +5 more
core +1 more source
Труды Института системного программирования РАН, 2018 The language of message sequence charts (MSC) is a popular scenario-based specification language used to describe the interaction of components in distributed systems. However, the methods for validation of MSC diagrams are underdeveloped.
S. A. Chernenok, V. A. Nepomniaschy
doaj +1 more source
How to find Invariants for Coloured Petri Nets
DAIMI Report Series, 1981 This paper shows how invariants can be found for coloured Petri nets. We define a set of transformation rules, which can be used to transform the incidence-matrix, without changing the set of invariants.
openaire +2 more sources
Performance analysis using coloured Petri nets
Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, 2002 This booklet is the author's PhD-dissertation.
openaire +4 more sources
Моделирование и анализ информационных систем, 2014 The standard language of message sequence charts MSC is intended to describe scenarios of object interaction. Due to their expressiveness and simplicity MSC diagrams are widely used in practice at all stages of system design and development.
S. A. Chernenok, V. A. Nepomniaschy
doaj +1 more source
An Introduction to the Theoretical Aspects of Coloured Petri Nets
DAIMI Report Series, 1994 <p>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-fledged language for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or ...
openaire +3 more sources
Towards a Notion of Distributed Time for Petri Nets
, 2001 We set the ground for research on a timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. The novelty is that, rather than a single global clock, we
Srba, J., Nielsen, M., Sassone, V.
core +2 more sources
Properties of Distributed Time Arc Petri Nets
, 2001 In recent work we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling.
Srba, J., Nielsen, M., Sassone, V.
core +1 more source
UML and Petri Nets for Design and Analysis of Distributed Systems [PDF]
, 2000 This paper presents a modification to UML to improve the modelling and analysis of discrete-event dynamic system (DEDS) representations of manufacturing systems.
Giacomini, Luisa +2 more
core +1 more source