Topic
Petri net
About: Petri net is a research topic. Over the lifetime, 25039 publications have been published within this topic receiving 406994 citations.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: The question to decide whether a given Petri net is consistent, Mo-reversible or live is reduced to the reachability problem in a unified manner.
111 citations
••
23 Aug 2010TL;DR: It is proved that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.
Abstract: We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.
111 citations
••
TL;DR: The proposed weighted fuzzy reasoning algorithm can allow the rule-based systems to perform fuzzy reasoning in a more flexible and more intelligent manner.
Abstract: This paper presents a Weighted Fuzzy Petri Net model (WFPN) and proposes a weighted fuzzy reasoning algorithm for rule-based systems based on Weighted Fuzzy Petri Nets. The fuzzy production rules in the knowledge base of a rule-based system are modeled by Weighted Fuzzy Petri Nets, where the truth values of the propositions appearing in the fuzzy production rules and the certainty factors of the rules are represented by fuzzy numbers. Furthermore, the weights of the propositions appearing in the rules are also represented by fuzzy numbers. The proposed weighted fuzzy reasoning algorithm can allow the rule-based systems to perform fuzzy reasoning in a more flexible and more intelligent manner.
111 citations
••
TL;DR: This discussion represents the most comprehensive survey of applications of PNs to manufacturing through 1994, and presents an overview of PN theory and a schema for categorizing PN models of manufacturing systems.
Abstract: Petri nets (PNs) have recently emerged as a promising approach for modelling flexible and automated manufacturing systems. PNs are a graphical and mathematical modelling technique that is useful for modelling concurrent, asynchronous, distributed, parallel, nondeterministic, and stochastic systems, as attested by a steady stream of papers which appeared throughout the 1980s. Since 1989, there has been an explosion of interest in using PNs to model, simulate, and analyse manufacturing systems. We present an overview of PN theory. We then present a schema for categorizing PN models of manufacturing systems, followed by a survey of PN models of flow lines, automatic transfer lines, job shops, flexible manufacturing systems, and assembly systems. This discussion represents the most comprehensive survey of applications of PNs to manufacturing through 1994. Finally, we present a summary and some conclusions.
111 citations
01 Jan 2001
TL;DR: A general technique for truncating Petri net unfoldings, parameterized according to the level of information about the original unfolding one wants to preserve, is developed and a new notion of completeness of a truncated unfolding is proposed.
111 citations