. In this paper we present an implementation of action notation based on a formal and modular speci cation of its semantics. This specication allows an automatic generation of an environment consisting of an interpreter and a debugger which allows the visualization of an action notation program execution and relates it to the given formal specication. The semantic description presented here is based on Montages, which is a semi-visual formalism for the speci cation of the syntax and semantics of programming languages. The tool support for Montages, called GemMex is used to execute the action notation specication and thereby generate an environment for executing action notation programs. Moreover, the specication maintains and renes the structuring of actions in terms of facets and thus ensures that the modularity present in action notation is retained in its semantic description. 1 Introduction Action semantics [30,34,52] is a specication formalism for the semantics of program...

this paper we extend this framework. This extension is independent of the description of the data type part. Hence it suffices to consider merely low-level Petri nets like different kinds of place/transition nets, ordinary nets, elementary nets, and so on. Careful investigations of several Petri types THIS WORK IS PART OF THE JOINT RESEARCH PROJECT "DFGFORSCHERGRUPPE PETRINETZ-TECHNOLOGIE" BETWEEN H. WEBER (COORDINATOR) , H. EHRIG (BOTH FROM THE TECHNICAL UNIVERSITY BERLIN) AND W. REISIG (HUMBOLDT-UNIVERSIT AT ZU BERLIN), SUPPORTED BY THE GERMAN RESEARCH COUNCIL (DFG)