1. Petri Net Theory And The Modeling Of Systems;Peterson,1981
2. On the Development of Reactive Systems;Harel,1985
3. Statecharts: A Visual Formalism for Complex Systems;Harel,1987
4. Dubois, D., Stecke, K.E., “Using Petri Nets To Represent Production Processes, Proc. of IEEE Conf. on Decision and Control, San Antonio Texas, Dec, 1983, pp. 1062–1067.
5. Software Design Representation Using Abstract Process Networks;Mekly;IEEE Trans. on Software Eng.,1980