A HIGH-LEVEL PETRI-NET FOR ACCURATE MODELING OF REACTIVE AND CONCURRENT SYSTEMS

This paper concerns a Petri-net-based model for describing reactive an d concurrent systems. Although many high-level Petri nets have been pr oposed, they are insufficiently practical to describe reactive and con current systems in the detail modeling, design and implementation phas es. They are mainly intended to describe concurrent systems in the rou gh modeling phase and lack in several important features (e.g., concur rent tasks, task communication/synchronization, I/O interface, task sc heduling) which the most actual implementations of reactive and concur rent systems have. Therefore it is impossible to simulate and analyze the systems accurately without explicitly modeling these features. On the other hand, programming languages based on Petri nets are deeply d ependent on their execution environments and not sophisticated as mode ling and specification languages. This paper proposes MENDEL net which is a high-level Petri net extended by incorporating concurrent tasks, task communication/synchronization, I/O interface, and task schedulin g in a sophisticated manner. MENDEL nets are a wide-spectrum modeling language, that is, they are suitable for not only modeling but also de signing and implementing reactive and concurrent systems.