Associating composition of Petri net specifications with application designs in GRADE

Z. Tsiatsoulis, G. Dozsa, J.Y. Cotronis, P. Kacsuk
1999 Proceedings of the Seventh Euromicro Workshop on Parallel and Distributed Processing. PDP'99  
To provide high-level graphical support for developing message passing programs, an integrated programming environment (GRADE) is being developed. GRADE currently provides tools to construct, execute, debug, monitor and visualise message-passing based parallel programs. The paper describes the extension of GRADE with formal method support based on Petri nets composition. . We outline specification composition, directly associated with application composition as well as the integration of specification and implementation of program development.
doi:10.1109/empdp.1999.746670 dblp:conf/pdp/TsiatsoulisDCK99 fatcat:zxutqp6ueza47poun7yi2l7juy