next up previous
Next: About this document ... Up: No Title Previous: Dynamic distribution and synchronization

References

BG90
Didier Buchs and Nicolas Guelfi.
Concurrent object oriented Petri nets model.
Technical Report 616, Laboratoire de Recherche en Informatique, Orsay, France, 1990.

Fra92
Wojciech Fraczak.
Sémantique Opérationnelle de CO-OPN.
Rapport de stage de DEA (Master thesis), Université de Paris-Sud, Orsay, France, 1992.

BDH92
Eike Best, Raymond Devillers, and Jon Hall.
The Box Calculus: a new causal algebra with multi-label communication.
In Advances in Petri Nets 1992, volume 609 of LNCS. Springer Verlag, 1992.

FK94
Wojciech Fraczak and Hanna Klaudel.
A multi-action synchronization schema and its application to the PBC.
In Methodologies, techniques, and tools for design development, volume 5 of ESDA'94. ASME, 1994.

Fra96
Wojciech Fraczak.
Composition parallèle et synchronisation de systémes à événements discrets (Parallel composition and synchronization of reactive systems).
Thèse de doctorat (PhD thesis), Université de Paris-Sud, 1996.

Win86
Glynn Winskel.
Event structures.
In Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of LNCS. Springer Verlag, 1986.

BH93
Eike Best and Richard Hopkins.
B(PN)2 - a Basic Petri Net Programming Notation.
In PARLE'93, volume 694 of LNCS. Springer Verlag, 1993.

BFF+95a
Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard Hopkins, Hanna Klaudel, and Elisabeth Pelz.
A class of composable high level Petri nets.
In International Conference on Application and Theory of Petri Nets, volume 935 of LNCS. Springer Verlag, 1995.

BFF+95b
Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard Hopkins, Hanna Klaudel, and Elisabeth Pelz.
A high level Petri net semantics of B(PN)2.
In STRICT'95, Workshop in Computing. Springer Verlag, 1995.

BFH+97
Eike Best, Wojciech Fraczak, Richard Hopkins, Hanna Klaudel, and Elisabeth Pelz.
M-nets: an algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages.
To appear in Acta Informatica.

FP97a
Wojciech Fraczak and Elisabeth Pelz.
A structural equivalence on labeled Petri nets based on a reduction of silent transitions.
Technical report 1088, Laboratoire de Recherche en Informatique, Orsay, France, 1997.

FP97b
Wojciech Fraczak and Elisabeth Pelz.
Improved implementations via a new structural equivalence on labeled nets.
In 18th International Conference on Application and Theory of Petri Nets, LNCS. Springer Verlag, 1997.

Fra95
Wojciech Fraczak.
Multi-action process algebra.
In Algorithms, Concurrency and Knowledge, volume 1023 of LNCS. Springer Verlag, 1995.

FI97
Wojciech Fraczak and M. Iglewski.
Un logiciel de demonstration automatique pour un environnement multiprocesseurs.
Technical Report RR 97/03-1, Departément d'Informatique, Université du Québec à Hull, Hull, March 1997.

ZFI97
M.B. Zaremba, W. Fraczak, and M. Iglewski.
Dynamic distribution of processes for intelligent system design.
In 4th IFAC Workshop on Intellligent Manufacturing Systems: IMS'97, Seoul, Korea, 1997.


Wojtek Fraczak
8/26/1997