Parallel systems specifications with coloured Petri nets and algebraic specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 266 LNCS, Issue , 1987, Pages 293-308

  Vautherin, Jacques ^a  

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SEMANTICS; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; COLOURED PETRI NETS; ORDINARY PETRI NET; PARALLEL SYSTEM; SYNCHRONIZATION CONSTRAINTS; TERMINAL MODEL;

PETRI NETS;

EID: 30244527508     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-18086-9_31     Document Type: Conference Paper

References (31)

1. Groupe ADJ: J.A. Goguen, J.W. Thatcher, E.G. Wagner. “An initial algebra approach to the specification, correctness and implementation of abstract data types”. Current Trends in Programming Methodology, vol. IV, R.T. Yeh Ed. Prentice Hall, New Jersey (1978).
2. G. Berthelot. “Transformation et analyse de réseaux de Petri. Application aux protocoles”. Thèse de Doctorat d’Etat, Université de Paris-Sud (1983).
3. B. Berthomieu. “Algebraic specification of communication protocols”. UCS/lnform. Sci. Inst., Rep. RR-81-98 (1981).
4. G.W. Brams. “Réseaux de Petri: théorie et pratique”. Masson (Ed.), Paris (1983).
5. E.W. Dijkstra. “Cooperating sequential processes”. In Programming Languages, F. Genuys (ed.), Academic Press, New York, pp. 43-112 (1968).
6. H. Ehrig, B. Mahr. “Fundamantals of Algebraic Specifications 1. Equations and Initial Semantics”. W. Brauer (Ed.), Springer-Verlag, Berlin Heidelberg (1985).
7. M.C. Gaudel. “Algebraic Specification of Abstract Data Types”. Rap. de Rech. no 360. INRIA, Le Chesnay (1979).
8. H.J. Genrich, K. Lautenbach. “System modelling with high-level Petri-nets”. Theoretical Computer Science 13, pp. 109-136. North-Holland Publishing Compagny (1981).
9. H.J. Genrich, K. Lautenbach. “S-invariance in Predicate/Transition-Nets”. Proc. of the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, 1982. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte vol. 66, Springer-Verlag (1983).
10. C. Girault, S. Haddad. “Structure algébrique des flots d’un réseau régulier”. Manuscript.
11. U.Goltz, W. Reisig. “CSP-programs as nets with individual tokens”. Advances in Petri Nets 1984, L.N.C.S. 188, G. Rozenberg Ed., pp. 169-196. Springer-Verlag (1985).
12. C.A.R. Hoare. “Communicating Sequential Processes”. Comm. ACM, Vol. 21, No 8, pp. 666-677 (1978).
13. INMOS Ltd. “The occam programming manual”. Prentice-Hall (1984).
14. K. Jensen. “Coloured Petri Nets and the Invariant Method”. T.C.S. 14. North-Holland Pub. Co. (1981).
15. K. Jensen. “High-level Petri Nets”. Proc. of the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, 1982. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Inf.-Fachberichte vol. 66, Springer-Verlag (1983).
16. B. Krämer. “Stepwise Construction of Non-Sequential Software Systems Using a Net-Based Specification Language”. Advances in Petri Nets 1984, L.N.C.S. 188, G. Rozenberg Ed., pp. 307-327. SpringerVerlag (1985).
17. G. Memmi. “Méthodes d’Analyse des Réseaux de Petri, Réseaux à Files et Application aux Systèmes Temps-Réel”. Thèse de Doctorat d’Etat. Université P. & M. Curie, Paris (1983).
18. G. Memmi, J. Vautherin. “Advanced Algebraic Techniques”. Proc. Advanced Course on Petri Nets, Bad-honnef, Germany (1985).
19. H. Oberquelle. “Basic Concepts of Object-Flow Nets” Fachbereich Informatik, Universitaet of Hamburg, Mitteilung no 122, IFI-HH-M-122/84, (1984).
20. J.L. Peterson. “A note on coloured Petri nets”. Information Processing Letters, vol.11, no1, pp. 40-43 (1980).
21. J. C. Raoult. “Finiteness Results on Rewriting Systems”. R.A.I.R.O. Informatique Théorique / Theoretical Informatics, vol. 5, no4, pp. 373-391 (1981).
22. W. Reisig. “Petri Nets”. Springer-Verlag (1985).
23. W. Reisig. “Petri nets with individual tokens”. T.C.S. 41, pp. 185-213, North-Holland Pub. Co. (1985).
24. H.W. Schmidt, M. Papazoglou. “Abstract Modular Implementation of Processes by Predicate-Event systems”. Manuscript.
25. C. Sibertin-Blanc. “High level Petri nets with data structure”. Proc. of the 6th European Workshop on Applications and Theory of Petri Nets, Espoo, Finland (1985).
26. M. Silva, J. Martinez, P. Ladet, H. Alla. “Generalized inverses and symbolic computation of invariants in Coloured Petri nets”. Techniques et Science informatique, TSI, no 4, pp. 113-126 (1985).
27. E.W. Stark. “Semaphore Primitive and Starvation-Free Mutual Exclusion”. Journal of ACM, vol. 29, no 4, pp. 1049-1072 (1982).
28. C.A. Sunshine, D.H. Thompson, R.W. Erickson, S.L. Gerhart, D. Schwabe. “Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models”. IEEE Trans. Soft. Eng., vol. SE-8, no5, (1982).
29. J. Vautherin. “Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs”. Proc. of the 6th European Workshop on Applications and Theory of Petri Nets, Espoo, Finland (1985).
30. J. Vautherin. “Un modèle algébrique, basé sur les réseaux de Petri, pour l’étude des systèmes parallèles”. Thèse de Doctorat d’ingénieur. Université de Paris-Sud (1985).
31. J. Vautherin, G. Memmi. “Computation of Flows for Unary Predicates/Transitions Nets”. Advances in Petri Nets 1984, L.N.C.S. 188, G. Rozenberg Ed., pp. 307-327. Springer-Verlag (1985).