Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm ☆
آشنایی با موضوع
امروزه استفاده از متدهای مدلسازی در کارهای صنعتی خصوصاً با گسترش علوم رایانه‌ای و افزایش سرعت پردازنده‌ها، کاربرد وسیعی پیدا کرده است. یکی از روشهای مدلسازی استفاده از شبکه‌های پتری است.
شبکه پتری با بهره گیری از پشتوانه ریاضی جهت مدلسازی رفتار در این زمینه مفید می باشد .از سوی دیگر با توجه به ماهیت غیر قطعی اطلاعات در سیستمهای اطلاعاتی ، استفاده از متغیرهای زبانی و منطق فازی دقت بالاتری را در محاسبات مربوط به ارزیابی کارائی سیستم به همراه خواهد داشت.
کاربرد عملی برای طراحی و تحلیل سیستم ها به چندین طریق، ممکن می‌باشد. یک نمونه «شرح شبکه پتری به عنوان یک وسیله کمکی تحلیل سیستم» است. برای این کاربرد، تکنیک خاص طراحی جهت تعریف سیستم به کار می‌رود. سیستم به عنوان شبکه پتری‌نت مدل می‌شود و مدل شبکه آنالیز می‌گردد. از دید تحلیل یا آنالیز، یافتن خطای طراحی موجود مهم است و طراحی باید مدل شود تا خطاها اصلاح شوند. این طراحی تعریف شده، می‌توانند به دفعات مدلسازی و آنالیز شود. کاربرد فوق برای طراحی با شبکه پتری نیاز به تبدیل‌های مناسب بین سیستم طراحی شده و مدل شبکه پتری دارد .تئوری‌های شبکه پتری در دو جهت توسعه یافته‌اند. الف- کاربرد تئوری کاربردی شبکه پتری.
ب- تئوری تئوری خالص شبکه پتری
در این صفحه، تعداد 133 مقاله انگلیسی از ژورنال ها و مجلات معتبر پایگاه ساینس دایرکت (ScienceDirect) درباره موضوع شبکه های پتری آرشیو شده است که شما می توانید مقالات مورد نظر خود را بر اساس سال انتشار، موضوع مقاله، وضعیت ترجمه و تعداد صفحات، انتخاب نموده و دانلود فرمایید.
در صورتی که مقاله لاتین مورد نظر شما تا کنون به زبان فارسی ترجمه نشده باشد، واحد ترجمه پایگاه ISI Articles با همکاری تنی چند از اساتید و مترجمان با سابقه، آمادگی دارد آن را در اسرع وقت و با کیفیت مطلوب برای شما ترجمه نماید.
در صورتی که مقاله لاتین مورد نظر شما تا کنون به زبان فارسی ترجمه نشده باشد، واحد ترجمه پایگاه ISI Articles با همکاری تنی چند از اساتید و مترجمان با سابقه، آمادگی دارد آن را در اسرع وقت و با کیفیت مطلوب برای شما ترجمه نماید.
Complexity of the deadlock problem for Petri nets modeling resource allocation systems
Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions
A fuzzy Petri net based approach for fault diagnosis in power systems considering temporal constraints
Context-adaptive Petri nets: Supporting adaptation for the execution context
Approximating closed fork-join queueing networks using product-form stochastic Petri-nets
Modular encoding of synchronous and asynchronous interactions using open Petri nets ☆
Verification of membrane systems with delays via Petri nets with delays
Using Petri nets for experimental design in a multi-organ elimination pathway
Parametric multisingular hybrid Petri nets: Formal definitions and analysis techniques
Autonomous tracking of chemical plumes developed in both diffusive and turbulent airflow environments using Petri nets
Reasoning dynamic fuzzy systems based on adaptive fuzzy higher order Petri nets
Modelling and simulating reaction–diffusion systems using coloured Petri nets
Dynamic representation of fuzzy knowledge based on fuzzy petri net and genetic-particle swarm optimization
Colored Petri Net model with automatic parallelization on real-time multicore architectures
Fuzzy colored time Petri net and termination analysis for fuzzy Event-Condition-Action rules
Secure interoperation design in multi-domains environments based on colored Petri nets
Analysis of the problem description in the Algorithm for Inventive Problem Solving using Petri nets
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets ☆
Task scheduling modelling and reliability evaluation of grid services using coloured Petri nets
Survivability analysis of a sewage treatment facility using hybrid Petri nets
A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
A Petri Net-based framework for realistic project management and scheduling: An application in animation and videogames
A Petri net-based decision-making framework for assessing cloud services adoption: The use of spot instances for cost reduction
A decomposition algorithm of fuzzy Petri net using an index function and incidence matrix
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
Sequence of decisions on discrete event systems modeled by Petri nets with structural alternative configurations
Verifying soundness of business processes: A decision process Petri nets approach
Petri net based techniques for constructing reliable service composition
Defining variability in activity diagrams and Petri nets ☆
A novel reduction approach for Petri net systems based on matching theory
Conventional Usage of Finite State Machine over Petri Net inWeb Service Change Management Framework ☆
Robustness of deadlock control for a class of Petri nets with unreliable resources
Modelling and assessing ERP project risks: A Petri Net approach
A PP- and TT-invariant characterization of product form and decomposition in stochastic Petri nets
A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level Petri nets
Generating a Petri net from a CSP specification: A semantics-based method
Microcontroller-based process monitoring and management using embedded Petri-nets
Modelling alarm management workflow in healthcare according to IHE framework by coloured Petri Nets
Application of high-level fuzzy Petri nets to educational grading system
Confidence value prediction of DNA sequencing with Petri net model
Extended event–condition–action rules and fuzzy Petri nets based exception handling for workflow management
Building insightful simulation models using Petri Nets — A structured approach
A method of workflow scheduling based on colored Petri nets
Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry
Towards timed fuzzy Petri net algorithms for chemical abnormality monitoring
Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters
Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources
Applying learning behavioral Petri nets to the analysis of learning behavior in web-based learning environments
Coupled Petri nets for computer network risk analysis
OPENET: Ontology-based engine for high-level Petri nets