## Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

INTRODUCTION TO GENERAL NET THEORY | 1 |

ELEMENTS OF GENERAL NET THEORY | 21 |

FORMAL PROPERTIES OF PLACETRANSITION NETS | 165 |

Copyright | |

27 other sections not shown

### Common terms and phrases

abstraction algorithm application arcs arrows atomic actions axioms behaviour called CE-system components Computer Science concept concurrent concurrent systems connected corresponding cycle deadlock defined definition denoted described diagram dialog directed graph elements equivalent error example exists finite firing sequence formal functions given GRAFCET implementation incidence matrix information flow initial marking input places integer interpretation K-density labelled live logic marking graph morphisms net theory Newcastle upon Tyne node notion occurrence graph operation output parallel path Petri nets predicate predicate logic Pro-Net problem proof properties propositional logic PT-net reachability reduction relation representation represented réseaux de Petri result rule S-invariant scenario SD-net semantics semilinear sequential shown in Figure Sifakis simulation strict partial order structure subset synchronization graph T-element theorem theory token transformed transition variables vector