## Applications and theory of Petri nets: selected papers from the 3rd European Workshop on Application and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982 |

### What people are saying - Write a review

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

### Common terms and phrases

algorithm applications arcs B-equivalent behavioral equivalence behaviour CE-system coloured coloured Petri nets computable functions Computer Science concurrency pattern concurrent systems connected connector construction contains corresponding countable set D-continuity defined Definition denotational semantics denote diagram distributed system domain editor elements equation equivalence notions example Figure final markings finite automaton finite set firing sequence formal Genrich graph high-level Petri nets HL-net incidence matrix initial marking input inscriptions interface invariants labeled Lautenbach Lemma Lf(N linear S-invariants mapping matrix multirelations multisets nodes objects output PACKETs PACKETSEQ paper path component place-invariants posets PR-algorithm predicates primitive recursive functions processes proj Proof properties protocol PT-net quasi-interface reachable markings relation relation-net respectively result semantics sequential set of places Sf(M Sf(N skeleton specification structure subfield subset languages synchronic table TP Theorem theory token token-colours transformations tuples variables verified VERSION weakly computable weight-function