Abstract
Backward reachability on Petri net models has been proposed since the beginning of the development of net theory without giving it a suitable motivation. For this reason, reachability analysis has been successively developed essentially by taking into account forward reachability. In this paper backward reachability analysis is motivated by showing its suitability to diagnostic problem solving. A particular technique for backward reachability analysis (B-W analysis) is defined for a net model called Behavioral Petri Net (BPN), intended to model the behavior of a system to be diagnosed. Such a technique is based on the use of two different types of tokens (normal and inhibitor tokens) whose aim is to represent the truth or falsity of the condition associated to a marked place. A distributed approach for parallel B-W analysis is also proposed. Such an approach is based on a set of processes derived from the structure of a BPN by means of a formal partitioning technique; this allows us to address the problem of mitigating the high inefficiency diagnostic algorithms usually have.
Preview
Unable to display preview. Download preview PDF.
References
L. Bernardinello and F. De Cindio. A survey of basic net models and modular net classes. In G. Rozenberg, editor. Advances in Petri Nets 1992, LNCS 609, pages 304–351. Springer Verlag, 1992.
J.M. Colom, M. Silva. and J.L. Villarroel. On software implementation of Petri nets and Colored Petri nets using high-level concurrent languages. In Proceedings of the 7 th International Conference on Application and Theory of Petri Nets, 1986.
L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133–141, 1991.
J.Y. Girard. Linear logic. Theoretical Computer Science, 50, 1987.
W. Hamscher, L. Console, and J. de Kleer. Readings in Model-Based Diagnosis. Morgan Kaufmann, 1992.
J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.
J. Martinez, P.R. Muro, M. Silva, S.F. Smith, and J.L. Villaroel. Merging artificial intelligence techniques and Petri nets for real-time scheduling and control of production systems. In Proc. 12th IMACS World Congress on Scientific Computation, pages 528–531, Paris, 1988.
T. Murata and J. Yim. Petri-net deduction methods for propositional-logic rule-based systems. Technical Report UIC-EECS-89-15, University of Illinois at Chicago, 1989.
L. Portinale. Verification of causal models using Petri nets. International Journal of Intelligent Systems, 7(8):715–742, 1992.
L. Portinale. Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model. In Proc. 14th Int. Conf. on Application and Theory of Petri Nets, LNCS 691, pages 339–356. Springer Verlag, Chicago, 1993.
L. Portinale. Petri net models for diagnostic knowledge representation and reasoning. PhD Thesis, Dip. Informatica, Universita' di Torino, 1993.
B. Pradin-Chezalviel and R. Valette. Petri nets and linear logic for process oriented diagnosis. In Proc. IEEE Int. Conference on Systems Man and Cybernetics, Le Touquet France, 1993.
E. Rich and K. Knight. Artificial Intelligence (2nd Edition). Mac Graw Hill, 1991.
M. Silva and R. Valette. Petri nets and flexible manifacturing. In Advances in Petri Nets 1989. Springer-Verlag, 1989. LNCS 424.
D. Taubner. On the implementation of Petri nets. In Proceedings of the 8 th International Conference on Application and Theory of Petri Nets, 1987.
R. Valette and M. Courvoisier. Petri nets and artificial intelligence. In Proc. Int. Workshop on Emerging Technologies for Factory Automation, North Queensland, Australia, 1992.
D. Zhang and T. Murata. Fixpoint semantics for Petri net model of definite clause logic programs. Technical Report UIC-EECS-87-2, University of Illinois at Chicago, 1987. also to appear in Advances in the Theory of Computation and Computational Mathematics, Ablex Publ.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Anglano, C., Portinale, L. (1994). B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation. In: Valette, R. (eds) Application and Theory of Petri Nets 1994. ICATPN 1994. Lecture Notes in Computer Science, vol 815. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58152-9_4
Download citation
DOI: https://doi.org/10.1007/3-540-58152-9_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58152-9
Online ISBN: 978-3-540-48462-2
eBook Packages: Springer Book Archive