Results 251 to 260 of about 411,715 (285)
Some of the next articles are maybe not open access.
Synthesis of Controllers of Processes Modeled as Colored Petri Nets
Discrete Event Dynamic Systems, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mbi Makungu +2 more
openaire +3 more sources
Exploiting colored Petri nets to decide on permutation admissibility
Acta Informatica, 2008In this work, we propose an innovative approach to investigate the admissibility of permutations to multistage interconnection networks—a challenging problem of switching theory. The proposed approach is centered upon modeling of multistage interconnection networks with colored Petri nets and use of Petri net analysis tools such as the unfolding ...
Rza Bashirov +2 more
openaire +6 more sources
Quantitative Analysis of Permutation Capability with Colored Petri Nets
13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 2005Given a multistage interconnection network (MIN) the calculation of the number of permutations of its input terminals into its output terminals is a classical difficult problem. In this paper, we introduce a novel technique to analyze the permutation capability of a MIN based on Colored Petri Nets (CP-nets or CPNs).
Rza Bashirov, Valentino Crespi
openaire +1 more source
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