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

Authors:
Jörg R. Müller;Eckehard Schnieder
Affiliations:
Technical University of Braunschweig, Braunschweig, Germany;Technical University of Braunschweig, Braunschweig, Germany
Venue:
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Year:
2007

Citing 2
Cited 0

The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets

Proceedings of the International Sympoisum on Semantics of Concurrent Computation
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

Quantified Score

Hi-index	0.00

Visualization

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.