Keywords: شبکه های پتری; Product remanufacturing process; Greenhouse gas emission; Petri nets; Resource consumption;
مقالات ISI شبکه های پتری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: شبکه های پتری; Partial order reduction; Stubborn sets; Structural reductions; Reachability analysis; Petri nets;
Keywords: شبکه های پتری; Petri nets; cyber-physical system; fuzzy logic; genetic algorithm; urban vehicle traffic;
Keywords: شبکه های پتری; Opacity; Petri nets; Integer linear programming; Decentralized architecture;
Keywords: شبکه های پتری; Discrete event systems; Fault diagnosis; Diagnosability; Opacity; Petri nets; History of discrete event systems;
Keywords: شبکه های پتری; Discrete Event Systems; History; Discrete event simulation; Automata; Petri nets; Max-plus algebra; Supervisory control; Diagnosis; Perturbation analysis;
Keywords: شبکه های پتری; Petri nets; Rendered façades; Genetic algorithms; Degradation;
Keywords: شبکه های پتری; Process mining; Formal languages and automata; Petri nets; Design of algorithms;
Keywords: شبکه های پتری; Dynamic Logic; Petri nets; Modal Logic;
Keywords: شبکه های پتری; Choice-freeness; Labelled transition systems; Petri nets; Synthesis;
Keywords: شبکه های پتری; Discrete Event Systems; Petri Nets; Fluid Petri Nets; History of Control Engineering; Bibliometrics;
Keywords: شبکه های پتری; Hold baggage security screening; Baggage handling system; Aviation safety and security; Petri nets; Discrete event simulation; Airport performance evaluation;
Keywords: شبکه های پتری; Petri nets; Fuzzy Petri nets; Fuzzy logic; Modeling and simulation; Autonomous Robot navigation;
Keywords: شبکه های پتری; Automated manufacturing systems; Deadlock avoidance; Discrete event systems; Petri nets; Robust control;
Keywords: شبکه های پتری; Multilevel non-interference; Intransitive policies and downgrading; Petri nets; Unfolding semantics; True concurrency; Verification;
Keywords: شبکه های پتری; Petri nets; Unfolding; Scheduling; Realizability;
Keywords: شبکه های پتری; Self-adaptation; Real-time systems; Petri nets; Formal verification; Timing analysis;
Keywords: شبکه های پتری; Space-aware applications; Petri Nets; Parallel applications; Performance evaluation; Multi-agent systems;
Keywords: شبکه های پتری; Petri nets; Agent-based simulation; Operator effect; Capacity installation; Grade control; Fuel tracking;
Keywords: شبکه های پتری; Mediation-aided service composition; Model checking; Timed compatibility; Temporal constraints; Petri nets;
Keywords: شبکه های پتری; Discrete event systems; Petri nets; Opacity; Decidability problems;
Keywords: شبکه های پتری; Railway networks; Critical infrastructures; Petri nets; Vulnerability assessment; Performance analysis;
Keywords: شبکه های پتری; reachability; Petri nets; BPNSs; semi-tensor product (STP) of matrices; synchronizing transitions;
Keywords: شبکه های پتری; audit expert system; communication security; Petri nets; protocol security; auditing system; probability time automata;
Keywords: شبکه های پتری; Petri Nets; UAV; UAS; Safety assessment; ARP; Aerospace Recommended Practice; CMA; Common Mode Analysis; Comms Fails; Communications Fails; FAA; Federal Aviation Administration; FHA; Functional Hazard Assessment; Fght Fails; Flight Controls Fails; FMEA; F
Keywords: شبکه های پتری; Discrete event systems (DES); Petri nets; Siphon computation; Deadlock; Problem decomposition; Polynomial complexity;
Keywords: شبکه های پتری; Asset management; System reliability availability; Petri nets; Bayesian networks; Design; Maintenance; Aging systems;
Keywords: شبکه های پتری; Airport capacity; Air traffic; Braking profile; Aerodrome traffic management; Petri nets; Landing roll modeling;
Keywords: شبکه های پتری; Networks; Petri nets; Monoidal categories; Spans of graphs;
Keywords: شبکه های پتری; Hybrid systems; Observers; Petri nets;
Keywords: شبکه های پتری; Petri nets; Causality; Unfolding; Cuts; Strategies; Graph games; Synthesis;
Keywords: شبکه های پتری; Petri nets; Open nets; Conformance; Theory of computation;
Keywords: شبکه های پتری; Cloud computing; Fault-tolerant system; Petri nets; Cost optimization;
Keywords: شبکه های پتری; Function Allocation; Automation; Air Traffic Management; Separation Assurance; Petri Nets;
Keywords: شبکه های پتری; Fault diagnosis; Petri nets; hydropower plant; formal modeling; intelligent maintenance;
Keywords: شبکه های پتری; Petri nets; learning; shared control; cognitive systems; CAP model; autonomy conflict; CPHS; emergent behaviors;
Keywords: شبکه های پتری; Enterprise Application Integration; Domain-Specific Language; Conceptual Model; Simulation Model; Petri Nets;
Keywords: شبکه های پتری; Chemical stage; Radical clusters; Simulation; Petri nets
Keywords: شبکه های پتری; Petri Nets; Simulation Models; Decision Trees; Montecarlo; Defender Lawyers; Tender
Keywords: شبکه های پتری; Subway fire emergency; Emergency response plan; Petri nets; Emergency resource conflict; Time performance;
Keywords: شبکه های پتری; Emergency response actions; Emergency resources; Petri nets; Simulation analysis;
Keywords: شبکه های پتری; Risk assessment; Fuzzy inference systems; Air traffic safety; Petri nets; Incidents and accidents analysis; Fuzzy risk matrix;
Keywords: شبکه های پتری; Fuzzy analytic hierarchical process (FAHP); Blood pressure control; Real-time home care; Petri nets
Keywords: شبکه های پتری; Modelado de sistemas de eventos discretos; Redes de Petri; Observabilidad temporal.Modelling of Discrete Event Systems; Petri Nets; Timed Observability.
Keywords: شبکه های پتری; Petri nets; Real-time systems; Resource allocation; System modeling; Time–space coupling safety constant
Keywords: شبکه های پتری; Home power management; Smart appliance; Petri nets; Control; Simulation;
Keywords: شبکه های پتری; Duplicate tasks; Process discovery; Petri nets;
Keywords: شبکه های پتری; Petri nets; Modeling; Autism; IBD; ASD; Autophagy;
Keywords: شبکه های پتری; Petri nets; State explosion problem; Reachability; Superposition
Keywords: شبکه های پتری; Petri nets; Elimination metabolic pathway; Genistein; Experiment design; Metabolic pathway parameterization