The present paper shows how petri nets and process algebra can be combined in order to achieve a modelling language that combines the graphical advantages of ...

Specification of a Batch Plant using Process ... This paper presents a high level language for routing specifications, using process algebra and Petri nets.

This modelling language combines Petri nets and process algebra. Process operators are introduced for specification of alternative, synchronization, start and ...

The focus of the present paper is on the specification of routing and resource allocation systems. Such systems can be described as a set of shared ...

This modelling language combines Petri nets and process algebra. Process operators are introduced for specification of alternative, synchronization, start and ...

A Petri-net based approach for the modeling of batch plants as well as products is presented. The different units of a plant are modeled as bounded Petri nets ...

Specification of a Batch Plant using Process Algebra and Petri Nets. Paper in proceeding, 2005. Author. Petter Falkman. Chalmers, Signals and Systems, Systems ...

Apr 25, 2024 · Petter Falkman, Bengt Lennartson, Michael Tittus: Specification of a batch plant using process algebra and Petri nets.

First, a method is presented to construct a batch chemical system's timed Petri net model. Second, a control structure is designed to augment the Petri net ...

This article deals with the qualitative modelling of batch production plants. The approach held is Petri net based. First a definition of a three-level net ...