Search
Search Results
-
Fluidization of Stochastic Petri Nets via Continuous Petri Nets: Comparative Study
Fluidization is a crucial technique for converting stochastic Petri nets (SPNs) into continuous Petri nets (CPNs) to overcome the challenge of...
-
Minimum Job Completion Time in Petri Nets
Petri Nets are well known as a tool to model discrete systems. Petri Nets possess arc weights that represent the number of tokens consumed by a...
-
Intelligent conflict detection of IoT services using high-level Petri nets
Internet of Things has become a common paradigm for various domains. To meet a user’s complex requirement, we should compose multiple IoT devices...
-
Construction of m-cube mesh networks using Petri nets
Petri nets have been used extensively in behavior modeling of finite state machines for a very long time since it is more expressible and gives...
-
Stochastic Decision Petri Nets
We introduce stochastic decision Petri nets (SDPNs), which are a form of stochastic Petri nets equipped with rewards and a control mechanism via the...
-
Token Trail Semantics – Modeling Behavior of Petri Nets with Labeled Petri Nets
There are different semantics for Petri nets. The behavior of a Petri net is either its set of enabled firing sequences, the reachability graph, a...
-
Modeling Hybrid Positive Systems with Hybrid Petri Nets
In this paper the possibility of modeling positive systems by means of Hybrid Petri Nets (HPN) is discussed. Hybrid (or Fluid) Petri Nets are Petri...
-
Fuzzy reliability assessment of urea fertiliser plant based on Petri nets method using a probabilistic picture-hesitant fuzzy set
A urea fertiliser plant is designed to manufacture urea, a nitrogen-based fertiliser that is widely used. Urea is an important component in modern...
-
Unforced Continuous Petri Nets and Positive Systems
Petri nets (PNs) are a well-known family of formalisms whose definition immediately sets them, in a broad sense, as positive systems. Although they...
-
Extended Future in Testing Semantics for Time Petri Nets
Dense-Time Petri Nets (TPNs) are a widely-accepted model suitable for qualitative and quantitative modeling and verifying safety-critical,...
-
Optimistic Fault Diagnosis in Discrete Event Systems by Labeled Petri Nets and Basis Markings
This paper deals with the fault diagnosis problem of discrete event systems modeled with labeled Petri nets. Its main contributions are threefold....
-
New Linguistic Z-Number Petri Nets for Knowledge Acquisition and Representation Under Large Group Environment
In this paper, we develop a new model named linguistic Z-number Petri nets for knowledge acquisition and representation in the large group...
-
A State Class Based Controller Synthesis Approach for Time Petri Nets
We propose a new algorithm for reachability controller synthesis with time Petri nets (TPN). We consider an unusual semantics of time Petri nets in...
-
Novel Deadlock Control for Smartphone Manufacturing Systems Using Petri Nets
Currently, the marketing strategy in the manufacturing industry is becoming more and more competitive. Thus, the production efficiency becomes the...
-
Reachability Graph for Autonomous Continuous Petri Nets
An autonomous continuous Petri net is a model in which the time is not involved, the marking is a vector or non-negative real numbers, and a...
-
Simplified Neutrosophic Petri Nets Used for Identification of Superheat Degree
As an important modeling tool for knowledge representation and reasoning (KRR), fuzzy Petri nets (FPNs) have been applied in kinds of fields....
-
Application of Binary Petri Nets to Knowledge Representation and Inference
In this paper, we present a binary Petri net model designed for knowledge representation and inference in rule-based systems. We assume that...
-
Hybrid Petri Nets with Diffusion That Have Into-Map**s with Generalised Stochastic Hybrid Processes
Generalised Stochastic Hybrid Processes (GSHPs) are known as the largest class of Markov processes virtually describing all continuous-time processes...
-
Experimenting with Stubborn Sets on Petri Nets
The implementation of model checking algorithms on real life systems usually suffers from the well known state explosion problem. Partial order...
-
Transforming Dynamic Condition Response Graphs to Safe Petri Nets
We present a transformation of the Dynamic Condition Response (DCR) graph constraint based process specification language to safe Petri Nets with...