A Method for Prepartitioning of Petri Net Models for Parallel Embedded Real-Time Systems

Abstract

. In this paper we describe a method for prepartitioning of models for parallel embedded real-time systems. The method is part of a design methodology for embedded real-time systems, that we are actually working on. Since the methodology is based on high-level Petri Nets as unique formal model, the presented partitioning method also applies to Petri Net models. Starting from a high-level description of the system allows us to take into account some system properties and structures, that are not visible on lower abstraction levels. The prepartitioning computed by our algorithm forms a basis for the final partitioning of the system, where each partition is realized as parallel software or dedicated hardware. Its benefit is a minimal communication overhead for the parallel implementation of the system. 1 Introduction Today the usage of abstract implementation independent languages for the design of embedded systems is widely accepted. Automata-based formalisms like statechart..