scispace - formally typeset
Search or ask a question
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
More filters
Journal ArticleDOI
01 Apr 1997
TL;DR: The sufficient conditions for liveness are shown to be related to some structural objects called siphons, which appears to be more efficient than state enumeration techniques such as the reachability tree method.
Abstract: A theory that synthesizes Petri nets for modeling flexible manufacturing systems is presented. The theory adopts a bottom-up or modular-composition approach to construct net models. Each module is modeled as a resource control net (RCN), which represents a subsystem that controls a resource type in a flexible manufacturing system. Interactions among the modules are described as the common transition and transition subnets. The net obtained by merging the modules with two minimal restrictions is shown to be conservative and thus bounded. An algorithm is developed to detect two sufficient conditions for structural liveness of the net. The algorithm examines only the net's structure and the initial marking, and appears to be more efficient than state enumeration techniques such as the reachability tree method. In this paper, the sufficient conditions for liveness are shown to be related to some structural objects called siphons. To demonstrate the applicability of the theory, a flexible manufacturing system of a moderate size is modeled and analyzed using the proposed theory.

97 citations

Proceedings ArticleDOI
25 Sep 1989
TL;DR: An attempt is made to introduce imprecision and uncertainty within Petri net theory in order to take into account abnormal events as well as the normal operation for the control and monitoring of flexible manufacturing systems.
Abstract: An attempt is made to introduce imprecision and uncertainty within Petri net theory in order to take into account abnormal events as well as the normal operation for the control and monitoring of flexible manufacturing systems. The uncertainty and imprecision concepts are introduced through a modification of the marking of a Petri net with objects and through time handling. The approach is based on the association of fuzzy enabling duration with the transition which results in attaching a fuzzy firing date to the transition. Some examples of possible use are presented. >

97 citations

Book ChapterDOI
22 Jun 1997
TL;DR: This work introduces a fast implementation of McMillan's algorithm, and presents an approach that exploits its drawback for unfoldings that increase widely.
Abstract: McMillan presented a deadlock detection technique based on unfoldings of Petri net systems. It is realized by means of a backtracking algorithm that has its drawback for unfoldings that increase widely. We present an approach that exploits precisely this property. Moreover, we introduce a fast implementation of McMillan's algorithm and compare it with our new technique.

96 citations

Proceedings ArticleDOI
04 Dec 2007
TL;DR: This paper presents a critical analysis on the newly defined standard and addresses its lacks in terms of executability, and an approach is proposed in order to extend the standard with a set of concepts and behavioural semantics that would allow SPEM2.0 process models to be checked through a mapping to Petri nets and monitored through a transformation into BPEL.
Abstract: One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of software process modeling, process models have not yet reached the level of precision that would allow their execution. Recently the OMG issued a new revision of its standard for software process modeling, namely SPEM2.0. However, even if executability was defined as a mandatory requirement in the RFP (request for proposal), the adopted specification does not fulfill it. This paper presents a critical analysis on the newly defined standard and addresses its lacks in terms of executability. An approach is proposed in order to extend the standard with a set of concepts and behavioural semantics that would allow SPEM2.0 process models to be checked through a mapping to Petri nets and monitored through a transformation into BPEL.

96 citations


Network Information
Related Topics (5)
Control theory
299.6K papers, 3.1M citations
85% related
Control system
129K papers, 1.5M citations
85% related
Server
79.5K papers, 1.4M citations
85% related
Fuzzy logic
151.2K papers, 2.3M citations
85% related
Robustness (computer science)
94.7K papers, 1.6M citations
84% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
2023290
2022662
2021466
2020574
2019651
2018751