Summary
the 2014 International Symposium on Nonlinear Theory and its Applications
2014
Session Number:D1L-C
Session:
Number:D1L-C4
A Method to Obtain Particular Solutions using Modified Fourier Motzkin Method in P/T Petri Nets
Masahiro Osogami, Teruya Yamanishi, Katsuji Uosaki,
pp.692-695
Publication Date:2014/9/14
Online ISSN:2188-5079
Summary:
P/T Petri nets are one kind of basic and useful models for discrete event systems. And reachability problem is one of the most important behavioral properties of Petri nets in determining its behavior. To consider the reachability problem, from an initial state called an initial marking, M0 to a destination state called a destination marking Md are the fundamental problems of Petri nets. There are some methods to solve such reachability problems, one of such methods is to use the coverability( reachability) tree, but this method requires a huge amount of calculation in general, so the other method to use matrix equations and reduction techniques has the advantage, because the method can utilize the algebraic equation properties of Petri nets. In this paper, we propose a modified algorithm of the Fourier-Motzkin method which is well known as a solution of the state equation for the reachability problem. The solutions which could not be found by a conventional algorithm can be obtained by using the modified one.