Keywords: شبکه های پتری; Petri nets; Elimination metabolic pathway; Genistein; Experiment design; Metabolic pathway parameterization
مقالات ISI شبکه های پتری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: شبکه های پتری; Subsea blowout preventer; Petri nets; Performance evaluation; Common cause failures;
Keywords: شبکه های پتری; Petri nets; Context modeling; Context adaptivity;
Keywords: شبکه های پتری; Reference nets; Petri nets; Water usage; Clean-in-place; Brewery; Fuzzy logic;
Keywords: شبکه های پتری; Petri nets; Supervisory control; Monitor places; Decentralized control; Discrete-event systems
Keywords: شبکه های پتری; Petri Nets; Service-Oriented Architectures; Service orchestration; Modeling; Simulation
Keywords: شبکه های پتری; Membrane systems; Petri nets; Delays; Verification of qualitative and quantitative properties of membranes; Coloured Petri nets software tools
Keywords: شبکه های پتری; Pareto optimality; E. coli modelling; Turing machine; Molecular machine; Biological complexity; Petri nets; Register machines; Von Neumann architectures; Trade-off genetic strategies; Flux-balance analysis
Keywords: شبکه های پتری; Reliability analysis; Petri nets; Fast Monte Carlo simulation method; Dissociation method; MCT;
Keywords: شبکه های پتری; Workflow graphs; Petri nets; Free choice; Inclusive Or-join
Keywords: شبکه های پتری; Process mining; Model repair; Petri nets; Conformance checking
Keywords: شبکه های پتری; Petri nets; Contracts; Intuitionistic Logic
Keywords: شبکه های پتری; Petri nets; Causal case graphs; Behavior structures; Presheaves; Coalgebras; HD-automata
Keywords: شبکه های پتری; Causal structure; Event structure; Spacetime; Petri nets
Keywords: شبکه های پتری; Hybrid mechatronic systems; Petri nets; Configuration detection; Observer design
Keywords: شبکه های پتری; Chemical stage; Radical clusters; Simulation; Petri nets
Keywords: شبکه های پتری; Petri nets; Sequence of decisions; Discrete event system; Alternatives aggregation Petri nets; Optimization;
Keywords: شبکه های پتری; Fuzzy knowledge; Petri nets; Knowledge representation; Learning algorithms; Particle swarm optimization
Keywords: شبکه های پتری; Discrete event systems; Supervisory control; Reconfiguration; Petri nets; Integer programming
Keywords: شبکه های پتری; Railway track ballast; Degradation models; Maintenance models; Asset management; Petri nets
Keywords: شبکه های پتری; Assembly/disassembly mechatronics line; Balancing; Wheeled mobile robot; Robotic manipulator; Petri nets
Keywords: شبکه های پتری; Programming techniques; Concurrent programming; Software engineering; Design tools and techniques; Petri nets; Discrete-event systems; Concurrency control; Autogeneration; Limited lookahead
Keywords: شبکه های پتری; Automated monitoring system; Stator winding condition; Turbine generator; Diagnostic system; Acoustic method; Emergency; Petri nets; Identification of failures; “Hot” spot analysis; Probabilistic model; stochastic model
Keywords: شبکه های پتری; Concurrency; Theory of computation; Petri nets; Home states
Keywords: شبکه های پتری; Petri nets; Deadlock; Resource allocation systems; Collaboration; PSPACE-completeness; NP-completeness
Keywords: شبکه های پتری; Project Scheduling; Petri Nets; Animation and Videogames; Simulation
Keywords: شبکه های پتری; Metric temporal logic; Formal and automatic verification; Micro- and macro-steps; Non-standard analysis; Petri nets; Stateflow/Simulink
Petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems
Keywords: شبکه های پتری; System safety; Software safety requirements; Requirements elicitation; Petri nets; Dysfunctional interaction; STAMP;
Characterising resource management performance in Kubernetes
Keywords: شبکه های پتری; Performance models; Container lifecycle; Cloud resource management; Petri nets; Kubernetes;
Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks
Keywords: شبکه های پتری; Fault tree analysis; Reliability analysis; Model-based safety analysis; Dynamic fault trees; Temporal fault trees; HiP-HOPS; Petri Nets; Bayesian Networks;
Industrial applications of the PetriDotNet modelling and analysis tool
Keywords: شبکه های پتری; Petri nets; Modelling; Simulation; Model checking; Stochastic analysis;
The risk management of perishable supply chain based on coloured Petri Net modeling
Keywords: شبکه های پتری; Petri nets; Supply chain; Risk management; Simulation technique; Perishable product;
A new paradigm for uncertain knowledge representation by Plausible Petri nets
Keywords: شبکه های پتری; Petri nets; Information theory; Knowledge representation; Expert systems;
The role of Fenton reaction in ROS-induced toxicity underlying atherosclerosis - modeled and analyzed using a Petri net-based approach
Keywords: شبکه های پتری; Iron; Atherosclerosis; Oxidative stress; Petri nets; t-invariants;
Reliability study of a system dedicated to renewable energies by using stochastic petri nets: application to photovoltaic (PV) system
Keywords: شبکه های پتری; Converter; module; Petri nets; reliability;
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
A new Hybrid Filtered Beam Search algorithm for deadlock-free scheduling of flexible manufacturing systems using Petri Nets
Keywords: شبکه های پتری; Petri Nets; Filtered Beam Search; Deadlock-free scheduling; Flexible manufacturing systems; Beam Search;
Characterisation of the state spaces of marked graph Petri nets
Keywords: شبکه های پتری; Labelled transition systems; Marked graphs; Petri nets; Region theory; System synthesis;
Intermodal terminal planning by Petri Nets and Data Envelopment Analysis
Keywords: شبکه های پتری; Data Envelopment Analysis; Freight transportation; Intermodal terminals; Performance evaluation; Petri Nets; Resource planning;
Software cybernetics in BPM: Modeling software behavior as feedback for evolution by a novel discovery method based on augmented event logs
Keywords: شبکه های پتری; Software cybernetics; Process discovery; Petri nets;
Wearable IoT data stream traceability in a distributed health information system
Keywords: شبکه های پتری; Internet of Things (IoT); Sensors; Mobile devices; Middleware; Wearables; Petri Nets; Privacy; Health Information System;
Supervisory Control of Manufacturing Systems Modeled by Timed Petri Nets
Keywords: شبکه های پتری; Manufacturing systems; Petri nets; time-delays; supervisory control; stretching;
Study on the Collaborative Design PN-PDDP Model for the Multi-component Coupling Rotor System Based on Petri Nets
Keywords: شبکه های پتری; Petri nets; Performance-driven design; Multi-component coupling rotor system design; Coupled information; Information flow;
Water eutrophication evaluation based on rough set and petri nets: A case study in Xiangxi-River, Three Gorges Reservoir
Keywords: شبکه های پتری; Xiangxi River; Rough set theory; Petri nets; Eutrophication;
Undecidability of performance equivalence of Petri nets
Keywords: شبکه های پتری; Petri nets; Bisimulation equivalence; Performance equivalence;
A Petri net-based methodology to increase flexibility in service-oriented holonic manufacturing systems
Keywords: شبکه های پتری; Holonic manufacturing systems; Petri nets; Integrated process planning and scheduling; Process orchestration; Manufacturing services; Process orchestration
Model checking Petri nets with MSVL
Keywords: شبکه های پتری; MSVL; Petri nets; PPTL; Translation; Model checking
Comments on “Maximally permissive supervisor synthesis based on a new constraint transformation method” [Automatica 48 (2012), 1097-1101]
Keywords: شبکه های پتری; Supervisory control; Petri nets; Generalized mutual exclusion constraint;
Hybrid and Hybrid Adaptive Petri Nets: On the computation of a Reachability Graph
Keywords: شبکه های پتری; Petri Nets; Hybrid Petri Nets; Hybrid Adaptive Petri Nets; Reachability; Reachability Graph; Discrete event systems modelling
A Petri net-based decision-making framework for assessing cloud services adoption: The use of spot instances for cost reduction
Keywords: شبکه های پتری; Cloud computing; Spot instances; BDIM; AHP; Petri nets