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: In this article, the authors propose inheritance-preserving transformation rules for workflow processes and show that these rules can be used to avoid problems such as the "dynamic change bug." The dynamic change bug refers to errors introduced by migrating a case (i.e., a process instance) from an old process definition to a new one.
550 citations
Book•
29 Jan 1999
TL;DR: An overview of Petri nets as an integrated tool and methodology in FMS design fundamentals and an object-oriented design methodology for development of FMS control software scheduling using petri nets and future research are presented.
Abstract: Flexible manufacturing systems - an overview Petri nets as an integrated tool and methodology in FMS design fundamentals of Petri nets modelling FMS with Petri nets FMS performance analysis Petri net simulation and tools performance evaluation of pull and push paradigms in flexible automation augmented-timed Petri nets for modelling breakdown handling real-time Petri nets for discrete event control comparison of real-time Petri nets and ladder logic diagrams an object-oriented design methodology for development of FMS control software scheduling using Petri nets Petri nets and future research.
547 citations
Journal Article•
TL;DR: This paper proposes a mapping from BPMN to a formal language, namely Petri nets, for which efficient analysis techniques are available and has been implemented as a tool that, in conjunction with existing Petri net-based tools, enables the static analysis of BPMn models.
Abstract: The Business Process Modelling Notation (BPMN) is a standard for capturing business processes in the early phases of system development. The mix of constructs in BPMN makes it possible to define models with a range of semantic errors. But the static analysis of BPMN models to detect such errors is hindered by ambiguities in the standard specification and the complexity of the language. The fact that BPMN integrates constructs from graph-oriented process definition languages with features for concurrent execution of multiple instances of a subprocess and exception handling, makes it challenging to provide a formal semantics of BPMN. Even more challenging is to provide a semantics that can be used to analyse BPMN models. This paper proposes a formalisation of BPMN in terms a mapping to Petri nets, for which efficient analysis techniques exist. The mapping has been implemented as a tool that generates code in the Petri Net Markup Language. The formalisation has led to the identification of deficiencies in the BPMN specification.
540 citations
Book•
01 Jan 2005
TL;DR: The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms, which contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.
Abstract: From the Publisher:
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems. The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.
535 citations
TL;DR: A fuzzy Petri net model (FPN) is presented to represent the fuzzy production rule of a rule-based system in which a fuzzy productionrule describes the fuzzy relation between two propositions and an efficient algorithm is proposed to perform fuzzy reasoning automatically.
Abstract: A fuzzy Petri net model (FPN) is presented to represent the fuzzy production rule of a rule-based system in which a fuzzy production rule describes the fuzzy relation between two propositions. Based on the fuzzy Petri net model, an efficient algorithm is proposed to perform fuzzy reasoning automatically. It can determine whether an antecedent-consequence relationship exists from proposition d/sub s/ to proposition d/sub j/, where d/sub s/ not=d/sub j/. If the degree of truth of proposition d/sub s/ is given, then the degrees of truth of proposition d/sub j/ can be evaluated. The formal description of the model and the fuzzy reasoning algorithm are shown in detail. The upper bound of the time complexity of the fuzzy reasoning algorithm is O(nm), where n is the number of places and m is the number of transitions. Its execution time is proportional to the number of nodes in a sprouting tree generated by the algorithm only generates necessary reasoning paths from a starting place to a goal place, it can be executed very efficiently. >
534 citations