Keywords: شبکه پتری; Service net; Algebra; Service process; Reuse; Petri net
مقالات ISI شبکه پتری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: شبکه پتری; Petri net; Contextual net; Read arc net; Asymmetric event structure; Branching cell; Choice
Keywords: شبکه پتری; Federated cloud system; Information flow security; Bell–LaPadula rules; Petri net; Diagnosability; Model checking
Keywords: شبکه پتری; Reconfiguration; Holonic and Multi-Agent System; Service-Oriented Architecture; Petri net; Manufacturing system
Keywords: شبکه پتری; Property specification; Business process management; Workflow management; Verification; Model checking; Petri net; Industrial processes; Vehicle commissioning processes
Petri Net controller synthesis based on decomposed manufacturing models
Keywords: شبکه پتری; Discrete event systems; Petri net; Supervisory control; Place invariant; Decomposed model;
Data-driven scheduling optimization under uncertainty using Renyi entropy and skewness criterion
Keywords: شبکه پتری; Scheduling optimization; Resource cost uncertainty; Renyi entropy; Skewness; Flexible manufacturing systems; Petri net;
Transformation of deterministic models into state space models for safety analysis of safety critical systems: A case study of NPP
Keywords: شبکه پتری; RV; Re-circulation Valve; RCICS; Reactor Core Isolation Cooling System; RP; Re-circulation Pump; RCICT; Reactor Core Isolation Colling System Turbine; RCICP; Reactor Core Isolation Colling Pump; CST; Condensate Storage Tank; SP; suppression pool; NPP; Nuc
Toward uniform random generation in 1-safe Petri nets
Keywords: شبکه پتری; Petri net; partial order model; uniform generation;
Deadlock recovery for flexible manufacturing systems modeled with Petri nets
Keywords: شبکه پتری; Flexible manufacturing system; Petri net; Deadlock; Liveness;
Quantitative risk prognostics framework based on Petri Net and Bow-Tie models
Keywords: شبکه پتری; Petri Net; Bow-Tie model; Fault tree; Event tree; Risk; Asset management; Prognostics;
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
A MPN-based scheduling model for IoT-enabled hybrid flow shop manufacturing
Keywords: شبکه پتری; Hybrid flow shop; Internet of Things (IoT); Nonequal-parallel-machine; Petri Net; Manufacturing flow shop;
A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
Keywords: شبکه پتری; Deadlock prevention; Automated manufacturing system; Petri net
Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources
Keywords: شبکه پتری; Flexible manufacturing system; Deadlock control; Petri net; Controller
Process mining with token carried data
Keywords: شبکه پتری; Process mining; Process discovery; Workflow net; Petri net; Token; Token log
Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
Keywords: شبکه پتری; Discrete event system; Petri net; Flexible manufacturing system; Deadlock; Liveness enforcing
SPN as a tool for risk modeling of fires in process industries
Keywords: شبکه پتری; Petri Net; Hydrocarbon leak; Risk modeling; Event treeLPE, Loss of probability of evacuation; ET, event tree; MC, Monte Carlo; DMC, Direct Monte Carlo; PN, Petri Nets; CPN, Colored Petri Nets; SPN, Stochastic Petri Nets; GSPN, Generalized Stochastic Petri
Providing healthcare services on-the-fly using multi-player cooperation game theory in Internet of Vehicles (IoV) environment
Keywords: شبکه پتری; Internet of vehicles; Petri net; Cloud repository; VM-scheduling
Complex accident scenarios modelled and analysed by Stochastic Petri Nets
Keywords: شبکه پتری; Petri net; Accident scenario; Event tree; Fault tree; Simulation;
ProDiGen: Mining complete, precise and minimal structure process models with a genetic algorithm
Keywords: شبکه پتری; Genetic mining; Process discovery; Petri net; Process mining
Rabin's theorem in the concurrency setting: A conjecture
Keywords: شبکه پتری; Rabin's theorem; Monadic second order logic; Event structure; Petri net; Grid-free
Lifetime elongation of ad hoc networks under flooding attack using power-saving technique
Keywords: شبکه پتری; Petri Net; AODV; Flooding attack; Mobile ad hoc network
Limiting the loss of information in KNXnet/IP on congestion conditions
Keywords: شبکه پتری; KNXnet/IP; Congestion control; Forwarding policy; Performance evaluation; Petri net; SAN
Neural controller for smart house security subsystem
Keywords: شبکه پتری; neural controller; Smart House; security subsystem; model; artificical neural network; Petri net;
Reliability effects of test strategies on safety-instrumented systems in different demand modes
Keywords: شبکه پتری; Safety-instrumented system; Staggered test; Sequential test; Simultaneous test; Petri net; Demand
Distributed optimal power flow for smart grid transmission system with renewable energy sources
Keywords: شبکه پتری; Distributed and parallel computation; Optimal power flow; Smart grid; Renewable energy source; Petri net; Computational synchronization
Preventing deadlock during anisotropic 2D mesh adaptation in hp-adaptive FEM
Keywords: شبکه پتری; Anisotropic mesh adaptation; Hp-adaptive finite element method; Grammar; Petri net; Deadlock
Assessment of the expected number and frequency of failures of periodically tested systems
Keywords: شبکه پتری; Failure frequency; PFH; Safety instrumented systems; Periodically tested systems; Fault tree; Petri net
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
Keywords: شبکه پتری; Flexible manufacturing system; Petri net; Liveness-enforcing supervisor; Ratio-enforcing supervisor; Monitor
A novel reduction approach for Petri net systems based on matching theory
Keywords: شبکه پتری; State explosion; Petri net; Net reduction; Reachability
ITL semantics of composite Petri nets
Keywords: شبکه پتری; itl; Petri net; Box algebra; Composition; Semantics
Fuzzy colored time Petri net and termination analysis for fuzzy Event-Condition-Action rules
Keywords: شبکه پتری; Petri net; Fuzzy colored time Petri net; ECA rules; Fuzzy ECA rules; Termination analysis; Pervasive computing
Contrasting safety assessments of a runway incursion scenario: Event sequence analysis versus multi-agent dynamic risk modelling
Keywords: شبکه پتری; Event tree; Dynamic risk model; Runway incursion; Air traffic control; Accident risk; Human performance; Multi-agent; Petri net
Petri net based techniques for constructing reliable service composition
Keywords: شبکه پتری; Service composition; Petri net; Exception; Transaction attributes; Reliability
Prototype of integrated pseudo-dynamic crosstalk network for cancer molecular mechanism
Keywords: شبکه پتری; Petri net; DNA damage; Fuzzy system; Organic integration; Cancer mechanism
Robustness of deadlock control for a class of Petri nets with unreliable resources
Keywords: شبکه پتری; Petri net; Deadlock; Automated manufacturing system; Supervisor; Siphon
Cross-organizational collaborative workflow mining from a multi-source log
Keywords: شبکه پتری; Cross-organizational workflow; Collaborative workflow; Running log; Process mining; Petri net; Coordination pattern
Reduction techniques for network validation in systems biology
Keywords: شبکه پتری; Network reduction; Metabolism; Petri net; Invariants; Elementary flux modes
Module-based architecture for a periodic job-shop scheduling problem
Keywords: شبکه پتری; Petri net; Periodic scheduling; Asynchronous synthesis; Net-modules
On structural minimality of optimal supervisors for flexible manufacturing systems
Keywords: شبکه پتری; Petri net; Flexible manufacturing system (FMS); Deadlock prevention; Place invariant (PI); First-met bad marking (FBM);
Fluctuation-driven computing on number-conserving cellular automata
Keywords: شبکه پتری; Cellular automaton; Number-conserving; Brownian motion; Asynchronous circuit; Petri net; Universal computation
A max-plus model of ribosome dynamics during mRNA translation
Keywords: شبکه پتری; Protein biosynthesis; Elongation; Petri net; Tropical algebra;
A formal approach to the analysis of clinical computer-interpretable guideline modeling languages
Keywords: شبکه پتری; Petri net; Workflow patterns; Computer-interpretable guidelines; Clinical modeling languages; PROforma
Mission management and control of BSA-AUV for ocean survey
Keywords: شبکه پتری; Autonomous underwater vehicle; Ocean survey mission; Mission management; Mission control; Petri net;
Modeling of active holonic control systems for intelligent buildings
Keywords: شبکه پتری; Intelligent building; Building control system; Fault tolerance; Holonic system; Petri net; System reconfiguration
Analysis of the problem description in the Algorithm for Inventive Problem Solving using Petri nets
Keywords: شبکه پتری; Petri net; TRIZ; ARIZ; Markov chains; EARIZ
Nonlinear systems design by a novel fuzzy neural system via hybridization of electromagnetism-like mechanism and particle swarm optimisation algorithms
Keywords: شبکه پتری; Electromagnetism-like mechanism; Particle swarm optimisation; Functional link; Fuzzy neural system; Petri net; Nonlinear control
Analysis of performance measures of flexible manufacturing system
Keywords: شبکه پتری; Flexible manufacturing system (FMS); Petri net; Simulation; Bottleneck; Visual Slam AweSim
A semantic-based probabilistic approach for real-time video event recognition
Keywords: شبکه پتری; Video event detection; Semantic video analysis; Bayes Network; Petri Net; Low-level uncertainty