Title :
Supporting Process Migration Through Communicating Petri Nets
Author :
Bucci, G. ; Mattolini, R. ; Vicario, E.
Author_Institution :
Dipartimento Sistemi e Informatica, Universita di Firenze, Italy
Keywords :
Computer aided software engineering; Message passing; Petri nets; Process control; Protocols; Prototypes; Resource management; Software prototyping; Software systems; Specification languages;
Conference_Titel :
Parallel and Distributed Processing, 1994. Proceedings. Second Euromicro Workshop on
Print_ISBN :
0-8186-5370-1
DOI :
10.1109/EMPDP.1994.592531