Duality in high level petri-nets: a basis to do diagnoses

ABSTRACT

In this paper the relation of high-level Petri-nets (hlpn) and linear algebra is outlined. On the basis of this relation the theory of the dual spaces can be brought in to a new class of hlpn. In this class not only transitions but also places can be marked and each arc is labeled with two mappings, in addition besides transitions also places are firable. By means of an example it is shown that the modified firing rule leads to a behaviour that can be brought in to do diagnoses in hlpn.

REFERENCES

• 1: Blyth, T. S., and E. F. Robertson. 2002. Further Linear Algebra. London, Berlin, Heidelberg: Springer.
• 2: Curtis, M. L. 1990. Abstract Linear Algebra. New York, Berlin, Heidelberg: Springer.
• 3: Fernandez, C. 1975. Net Topology I. Bonn: Gesellschaft fuer Mathematik und Datenverarbeitung mbH Bonn, Interner Bericht ISF-75-09, September.
• 4: Fischer, G. 2002. Lineare Algebra - Eine Einführung für Studienanfänger, 13. auflage. Braunschweig, Wiesbaden: Vieweg.
• 5: Hartmann J. Genrich , Kurt Lautenbach, The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets, Proceedings of the International Sympoisum on Semantics of Concurrent Computation, p.123-147, July 02-04, 1979
• 6: Gilbert, J., and L. Gilbert. 1994. Linear Algebra and Matrix Theory. San Diego, New York, Boston: Academic Press.
• 7: Kowalsky, H.-J. 1979. Lineare Algebra, 9. Auflage. Berlin, New York: de Gruyter Lehrbuch.
• 8: Kruse, R. J. 2001. Dualität bei Petri-Netzen - Anwendungen fuer Netze mit Stellen - und Transitionsmarken. Koblenz: Koblenzer Schriften zur Informatik, Foelbach.
• 9: Lautenbach, K. Juli 1983. Simple Marked-graph-like Predicate/Transition Nets. Bonn: Arbeitspapiere der GMD Nr. 41, Informatik Fachberichte 66.
• 10: Lautenbach, K., and A. Pagnoni. 1984. Liveness and Duality in Marked-graph-like Predicate/Transition Nets. Berlin, Heidelberg, New York, Tokyo: Springer-Verlag.
• 11: Lautenbach, K., and A. Pagnoni. 1985. Invariance and Duality in Predicate/Transition Nets and in Coloured Nets. Bonn: Gesellschaft fuer Mathematik und Datenverar-beitung mbH.
• 12: Lipschutz, W., and M. Lipson. 2001. Schaum's outlines - Linear Algebra (Third Edition). New York, London, Madrid: Mc Graw-Hill.
• 13: Müller, J. R. 2004. Dualitt und Analyse von Formalen Modellen - Prdikat/Transitions-Netze und ihr Bezug zur Linearen Algebra. Koblenz: Foelbach - Koblenzer Schriften zur Informatik.
• 14: Murata, T. 1989. Petri nets: properties, analysis and application. In Proceedings of the IEEE, Vol 77, 541--580.
• 15: Simon, C. 2005. Incremental Development of Business Process Models. In Development Methods for Information Systems and their Application., ed. J. U. Frank.
• 16: Einar Smith, Principles of High-Level Net Theory, Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, p.174-210, September 01, 1996