Timed Coloured Petri Nets for Modelling and Managing Processes and Projects
آشنایی با موضوع
امروزه استفاده از متدهای مدلسازی در کارهای صنعتی خصوصاً با گسترش علوم رایانه‌ای و افزایش سرعت پردازنده‌ها، کاربرد وسیعی پیدا کرده است. یکی از روشهای مدلسازی استفاده از شبکه‌های پتری است.
شبکه پتری با بهره گیری از پشتوانه ریاضی جهت مدلسازی رفتار در این زمینه مفید می باشد .از سوی دیگر با توجه به ماهیت غیر قطعی اطلاعات در سیستمهای اطلاعاتی ، استفاده از متغیرهای زبانی و منطق فازی دقت بالاتری را در محاسبات مربوط به ارزیابی کارائی سیستم به همراه خواهد داشت.
کاربرد عملی برای طراحی و تحلیل سیستم ها به چندین طریق، ممکن می‌باشد. یک نمونه «شرح شبکه پتری به عنوان یک وسیله کمکی تحلیل سیستم» است. برای این کاربرد، تکنیک خاص طراحی جهت تعریف سیستم به کار می‌رود. سیستم به عنوان شبکه پتری‌نت مدل می‌شود و مدل شبکه آنالیز می‌گردد. از دید تحلیل یا آنالیز، یافتن خطای طراحی موجود مهم است و طراحی باید مدل شود تا خطاها اصلاح شوند. این طراحی تعریف شده، می‌توانند به دفعات مدلسازی و آنالیز شود. کاربرد فوق برای طراحی با شبکه پتری نیاز به تبدیل‌های مناسب بین سیستم طراحی شده و مدل شبکه پتری دارد .تئوری‌های شبکه پتری در دو جهت توسعه یافته‌اند. الف- کاربرد تئوری کاربردی شبکه پتری.
ب- تئوری تئوری خالص شبکه پتری
در این صفحه، تعداد 133 مقاله انگلیسی از ژورنال ها و مجلات معتبر پایگاه ساینس دایرکت (ScienceDirect) درباره موضوع شبکه های پتری آرشیو شده است که شما می توانید مقالات مورد نظر خود را بر اساس سال انتشار، موضوع مقاله، وضعیت ترجمه و تعداد صفحات، انتخاب نموده و دانلود فرمایید.
در صورتی که مقاله لاتین مورد نظر شما تا کنون به زبان فارسی ترجمه نشده باشد، واحد ترجمه پایگاه ISI Articles با همکاری تنی چند از اساتید و مترجمان با سابقه، آمادگی دارد آن را در اسرع وقت و با کیفیت مطلوب برای شما ترجمه نماید.
در صورتی که مقاله لاتین مورد نظر شما تا کنون به زبان فارسی ترجمه نشده باشد، واحد ترجمه پایگاه ISI Articles با همکاری تنی چند از اساتید و مترجمان با سابقه، آمادگی دارد آن را در اسرع وقت و با کیفیت مطلوب برای شما ترجمه نماید.
Stochastic Petri Net-based performance evaluation of hybrid traffic for social networks system
An estimation of distribution algorithm for scheduling problem of flexible manufacturing systems using Petri nets
Interval semantics for Petri nets with inhibitor arcs
Stochastic Petri net-based modelling of the durability of renderings
Priority assignment in queuing systems with unknown characteristics using learning automata and adaptive stochastic petri nets
Quantitative modeling of gene networks of biological systems using fuzzy Petri nets and fuzzy sets
Multilevel transitive and intransitive non-interference, causally
On the history of diagnosability and opacity in discrete event systems
Towards a formally verified zero watermarking scheme for data integrity in the Internet of Things based-wireless sensor networks
Resource failure and buffer space allocation control for automated manufacturing systems
A Generalized Stochastic Petri Net model of route learning for emergency egress situations
Characterization and evolution of emergency scenarios using hybrid Petri net
Handling infinitely branching well-structured transition systems
Verification of finite-state machines: A distributed approach
Zone-based formal specification and timing analysis of real-time self-adaptive systems
A method of hold baggage security screening system throughput analysis with an application for a medium-sized airport
Power-efficient scheduling of parallel real-time tasks on performance asymmetric multicore processors
Software development with Petri nets and agents: Approach, frameworks and tool set
Formal model-based quantitative safety analysis using timed Coloured Petri Nets
Pre-synthesis of Petri nets based on prime cycles and distance paths
Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights
Realizability of schedules by stochastic time Petri nets with blocking semantics
Reversible computation vs. reversibility in Petri nets
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach
A novel dynamic timed fuzzy Petri nets modeling method with applications to industrial processes
A weighted fuzzy Petri-net based approach for security risk assessment in the chemical industry
Stochastic modeling for performance and availability evaluation of hybrid storage systems
Sufficient conditions for the marked graph realisability of labelled transition systems
Signal set tissue systems and overlapping localities
Modeling and reachability analysis of synchronizing transitions bounded Petri net systems based upon semi-tensor product of matrices
Modeling, analysis and control of Discrete Event Systems: a Petri net perspective
Stationary solutions of discrete and continuous Petri nets with priorities
Assessment of maintenance strategies for railway vehicles using Petri-nets
Ordinal recursive complexity of Unordered Data Nets
Simulation-based identification of optimal combination of drug candidates for spinal muscular atrophy
Observer synthesis for Linear Hybrid Systems with constrained discrete dynamics
An extension of the taxonomy of persistent and nonviolent steps
A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
A Mixed-Boolean Hybrid Mathematical Model with Discontinuous States
Effect of venepuncture process design on efficiency and failure rates: A simulation model study for secondary care
An incremental model repair approach to timed discrete event systems
Multimodal System for Fall Detection and Location of person in an Intelligent Habitat
Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets
Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
Modelling the flexibility of production systems in Industry 4.0 for analysing their productivity and availability with high-level Petri nets
Fuzzy Petri nets for knowledge representation and reasoning: A literature review
Counter machines, Petri Nets, and consensual computation
Decentralized Fault Diagnosis by Petri Nets and Integer Linear Programming
Deadlock and liveness characterization for a class of generalized Petri nets
Modeling a bus network for passengers transportation management using colored Petri nets and (max, +) algebra
Diagnosability and online diagnosis of discrete-event systems modeled by acyclic labeled Petri nets
Modeling cyber-physical attacks based on probabilistic colored Petri nets and mixed-strategy game theory
Impact assessment of reliability of phasor measurement unit on situational awareness using generalized stochastic Petri nets
Decision Based Modeling of a Flexible Manufacturing Cell based on Hierarchical Timed Colored Petri Nets
Modeling and control of operator functional state in a unified framework of fuzzy inference petri nets
Formal verification of complex business processes based on high-level Petri nets
Marking dependency in non-Markovian stochastic Petri nets
Hybrid heuristic search approach for deadlock-free scheduling of flexible manufacturing systems using Petri nets
A Discussion on Fault detection for a class of Hybrid Petri Nets
On analyzing the vulnerabilities of a railway network with Petri nets
Functional Programming for Business Process Modeling
Polynomial analysis algorithms for free choice Probabilistic Workflow Nets
Unmanned aerial vehicle safety assessment modelling through petri Nets
A Comparative Study of Fault Prognosis Approaches for Timed Stochastic Discrete Event Systems
A framework for analytics and simulation of accounting information systems: A Petri net modeling primer
Formal Approach to Control Design of Complex and Dynamical Systems
Airport capacity increase via the use of braking profiles