For the most recent entries see the Petri Nets Newsletter.

A high-level Petri net for accurate modeling of reactive and concurrent systems.

Uchihira, N.; Honiden, S.

In: IEICE Trans. on Fundamentals in Electronics, Communications and Computer Science, Vol. E79-A, No. 11, pages 1797-1808. 1996.

Abstract: This paper discusses Petri net based models for describing reactive and concurrent systems. Although many high-level Petri nets have been proposed in the past, they are insufficiently practical to describe reactive and concurrent systems in detail. They are mainly intended to describe the systems in a rough modeling phase and they lack several important features (e.g., concurrent tasks, task communication/synchronization, I/O interface, task scheduling) which the actual implementations of reactive and concurrent systems have. Therefore it is impossible to simulate and analyze the system accurately without explicitly modeling those features. On the other hand, programming languages based on Petri nets are deeply dependent on their execution environments and not sophisticated as modeling and specification languages. This paper proposes MENDEL net which a a high-level Petri net extended by incorporating concurrent tasks, task communication/synchronization, I/O interface, and task scheduling in a sophisticated manner. MENDEL nets are a wide-spectrum modeling language, that is, they are suitable for not only modeling but also designing and implementing reactive and concurrent systems.

Keywords: MEDEL nets, concurrent systems, high-level Petri nets, programming languages, reactive systems, real-time operating systems, task scheduling.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography