Keywords: شبکه رنگی پتری; Formal method; Colored Petri net; Evaluation; Performance analysis; ASK-CTL;
مقالات ISI شبکه رنگی پتری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: شبکه رنگی پتری; High performance computing; Power performance analysis; Colored Petri net; Extreme scale systems; Power capping
Software hazard analysis for nuclear digital protection system by Colored Petri Net
Keywords: شبکه رنگی پتری; Hazard analysis; Colored Petri Net; Safety-critical software; Nuclear reactor protection system;
Performance and power modeling and evaluation of virtualized servers in IaaS clouds
Keywords: شبکه رنگی پتری; Cloud computing; Virtualization; Power consumption; Performance modeling; Stochastic activity network; CPN; Colored Petri Net; CTMDP; Continuous-Time Markov Decision Process; DVFS; Dynamic Voltage and Frequency Scaling; GSPN; Generalized Stochastic Petri
TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling
Keywords: شبکه رنگی پتری; Colored Petri net; Scheduling; Reachability graph; Heuristic search; Discrete event system; Flexible manufacturing system; Simulation;
Verification of the safety communication protocol in train control system using colored Petri net
Keywords: شبکه رنگی پتری; EURORADIO; The safety communication protocol; Colored petri net; Verification
Flexible coordinator design for modeling resource sharing in multi-agent systems
Keywords: شبکه رنگی پتری; Multi-agent system; Colored Petri net; Conflict resolution; Coordinator design; Design modeling; Simulation
Towards the automatic generation of mobile agents for distributed intrusion detection system
Keywords: شبکه رنگی پتری; Intrusion detection; Software agents; Compiler; Software Fault Tree; Colored Petri Net
Analyzing permutation capability of multistage interconnection networks with colored Petri nets
Keywords: شبکه رنگی پتری; Multistage interconnection network; Permutation capability; Colored Petri net; CPNTools
Innovative service restoration of distribution systems by considering short-term load forecasting of service zones
Keywords: شبکه رنگی پتری; Distribution automation system; Fault detection, isolation and restoration; Colored petri net;