Results 251 to 260 of about 1,247,855 (284)
Some of the next articles are maybe not open access.
Colored Petri Net Based Attack Modeling
2007Color Petri Net (CPN) based attack modeling approach is addressed. CPN based attack model is flexible enough to model Internet intrusion, including the static and dynamic features of the intrusion. The processes and rules of building CPN based attack model from attack tree are also presented.
Shijie Zhou 0002 +5 more
openaire +2 more sources
2002
Use of the standard set of SPN building blocks to model very large or complex systems can sometimes result in nets that have an enormous number of places and transitions. One popular strategy for obtaining more concise specifications in such cases is to associate “colors” with both tokens and transitions and to work with “colored stochastic Petri nets”
openaire +1 more source
Use of the standard set of SPN building blocks to model very large or complex systems can sometimes result in nets that have an enormous number of places and transitions. One popular strategy for obtaining more concise specifications in such cases is to associate “colors” with both tokens and transitions and to work with “colored stochastic Petri nets”
openaire +1 more source
Distributed Colored Petri Net Model-Checking with Cyclades
2007The major bottleneck of explicit model-checking tools is the limited amount of available memory. Distributed model-checking is an approach to tackle the combinatorial explosion problem. It consists in taking advantage of the aggregate of memory provided by a network of workstations to increase the amount of memory available for model-checking ...
Pajault, Christophe +1 more
openaire +2 more sources
Switched LAN simulation by colored Petri nets
Mathematics and Computers in Simulation, 2004zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
2019 Winter Simulation Conference (WSC), 2019
Petri Net, a widely studied mathematical formalism, is a graphical notation for modeling systems. Petri Nets provide the foundation for modeling concurrency, communication, synchronization, and resource sharing constraints that are inherent to many systems.
openaire +1 more source
Petri Net, a widely studied mathematical formalism, is a graphical notation for modeling systems. Petri Nets provide the foundation for modeling concurrency, communication, synchronization, and resource sharing constraints that are inherent to many systems.
openaire +1 more source
Kolam Generated by Color Petri Nets
2019Ordinary Petri nets and color Petri nets have been defined to generate array languages. In such models, the arrays over a given alphabet are used as tokens in the places. Using the concept of colored Petri nets and array-generating Petri nets, kolam-generating color Petri net has been introduced.
M. I. Mary Metilda, D. Lalitha
openaire +1 more source
Colored Knowledge Petri Nets and Logical Inference
2021 IEEE International Conference on Networking, Sensing and Control (ICNSC), 2021Kaicheng Tan +4 more
openaire +1 more source
Expanding on the use of Colored Petri Nets
Computer Fraud & Security, 2004In the previous column we introduced you to some of the details of Colored Petri Nets as a modeling tool for untangling IT security incidents. We started out with a simple model of an enterprise network and the movement of a virus or worm within that network. This month we will take a closer look at that model, how to set it up and how it works.
openaire +1 more source
COLORED PETRI NETS WITH MULTICOLOR MARKS
Automation and modeling in design and managementThis paper describes a developed mathematical model – a coloured Petri net with multicolour marks. This Petri net is modified by having marks containing multiple colours simultaneously, where each colour represents a separate parameter or variable. The work proposes an algorithm for operating a coloured Petri net with multicolour marks, which is a ...
Irina Sedyh, Aleksandr Tambovcev
openaire +1 more source