S-invariance in Predicate/Transition Nets-Reference-Cited by-同舟云学术

S-invariance in Predicate/Transition Nets

Published:1983 Issue: Volume: Page:98-111
ISSN:0343-3005
Container-title:Applications and Theory of Petri Nets
language:
Short-container-title:

Author:

Genrich H. J.,Lautenbach K.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-69028-0_8

Reference5 articles.

1. Eckert, H., Prinoth, R.: Untersuchung einiger Kommunikationsprotokolle unter dem Aspekt der Synchronisation auf gestörten Kanälen, Technical Report, GMD-IFV, May 198o, (German).

2. Genrich, H.J., Lautenbach, K.: System Modelling with High-Level Petri Nets, Theoretical Computer Science 13, lo9–136, 1981.

3. Genrich, H.J., Lautenbach, K., Thiagarajan, P.S.: Elements of General Net Theory, in: Brauer, W. (ed.): Net Theory and Applications, Springer Lecture Notes in Computer Science 84, 21–163, 198o.

4. Jensen, K.: Coloured Petri Nets and the Invariant Method, Theoretical Computer Science 14, 317–336, 1981.

5. Reisig, W.: Petrinetze, Springer-Verlag, Berlin, Heidelberg, New York, 1982.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Generative families of positive invariants in Coloured nets sub-classes;Advances in Petri Nets 1993;1993

2. Linear invariants in commutative high level nets;Advances in Petri Nets 1990;1991

3. Linear Invariants in Commutative High Level Nets;High-level Petri Nets;1991

4. A comparative study of different techniques for semi-flows computation in place/transition nets;Lecture Notes in Computer Science;1990

5. OBJSA Nets: a class of high-level nets having objects as domains;Lecture Notes in Computer Science;1988