Avoiding state explosion in a class of Petri nets

2015 ◽  
Vol 42 (1) ◽  
pp. 519-526 ◽  
Author(s):  
Latif Salum
Keyword(s):  
Petri Nets ◽  
State Explosion

scholarly journals Diagnosis of Intermittent Faults in IGBTs Using the Latent Nestling Method with Hybrid Coloured Petri Nets

2015 ◽  
Vol 2015 ◽  
pp. 1-14 ◽  
Author(s):  
Leonardo Rodriguez-Urrego ◽  
Emilio García ◽  
Eduardo Quiles ◽  
Antonio Correcher ◽  
Francisco Morant ◽  
...  
Keyword(s):  
Petri Nets ◽  
Finite State Machine ◽  
Morphological Analysis ◽  
Energy Dispersive Spectrometry ◽  
Coloured Petri Nets ◽  
Stress Tests ◽  
State Explosion ◽  
Intermittent Faults ◽  
Finite State ◽  
Scanning Electron

This paper presents a fault diagnosis application of the Latent Nestling Method to IGBTs. The paper extends the Latent Nestling Method based in Coloured Petri Nets (CPNs) to hybrid systems in such a manner that IGBTs performance can be modeled. CPNs allow for an enhanced capability for synthesis and modeling in contrast to the classical phenomena of combinational state explosion when Finite State Machine methods are applied. We present an IGBT model with different fault modes including those of intermittent nature that can be used advantageously as predictive symptoms within a predictive maintenance strategy. Ageing stress tests have been experimentally applied to the IGBTs modules and intermittent faults are diagnosed as precursors of permanent failures. In addition, ageing is validated with morphological analysis (Scanning Electron Microscopy) and semiqualitative analysis (Energy Dispersive Spectrometry).

Modeling Human-Robot Interaction with Petri-Nets

2009 ◽  
Author(s):  
Rosemarie Yagoda ◽  
Michael D. Coovert
Keyword(s):  
Petri Nets ◽  
Human Robot Interaction ◽  
Robot Interaction

ESPNET: expert-system-based simulator of Petri nets

1988 ◽  
Vol 135 (4) ◽  
pp. 239 ◽  
Author(s):  
J. Duggan ◽  
J. Browne
Keyword(s):  
Expert System ◽  
Petri Nets

A Reduction Method of Timed Petri Nets for a Hierarchical Scheduling

1995 ◽  
Vol 115 (7) ◽  
pp. 914-919
Author(s):  
Kazuyuki Mori ◽  
Makoto Tsukiyama ◽  
Toyoo Fukuda
Keyword(s):  
Petri Nets ◽  
Reduction Method ◽  
Timed Petri Nets ◽  
Hierarchical Scheduling

Modeling and Analyzing Component-Based Distributed Railway Interlocking System with Petri Nets

2009 ◽  
Vol 129 (5) ◽  
pp. 455-461 ◽  
Author(s):  
Xinhong Hei ◽  
Sei Takahashi ◽  
Hideo Nakamura
Keyword(s):  
Petri Nets

Modeling of the time-cycle control system for technological processes equipment in pharmaceutical solid dosage manufacturing based on petri nets

2016 ◽  
Vol 31 ◽  
pp. 170-179
Author(s):  
Д.Э.Я. Окаи ◽  
D.E.Ya. Okai ◽  
А.Ю. Клюшин ◽  
A.Yu. Klyushin ◽  
В.Н. Богатиков ◽  
...  
Keyword(s):  
Control System ◽  
Petri Nets ◽  
Technological Processes ◽  
Solid Dosage ◽  
Time Cycle

Two Enhanced Heuristic Algorithms for the Minimum Initial Marking Problem of Petri Nets

2009 ◽  
Vol E92-A (11) ◽  
pp. 2732-2744
Author(s):  
Satoru OCHIIWA ◽  
Satoshi TAOKA ◽  
Masahiro YAMAUCHI ◽  
Toshimasa WATANABE
Keyword(s):  
Petri Nets ◽  
Heuristic Algorithms

Two Heuristic Algorithms for the Minimum Initial Marking Problem of Timed Petri Nets

2013 ◽  
Vol E96.A (2) ◽  
pp. 540-553
Author(s):  
Satoru OCHIIWA ◽  
Satoshi TAOKA ◽  
Masahiro YAMAUCHI ◽  
Toshimasa WATANABE
Keyword(s):  
Petri Nets ◽  
Heuristic Algorithms ◽  
Timed Petri Nets
Sign in / Sign up

Export Citation Format

Share Document