In: Petri Net Technology for Communication-Based Systems, pages 145-160. Volume 2472 of Lecture Notes in Computer Science / Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg and Herbert Weber (Eds.) --- Springer-Verlag, November 2003.
Abstract: In this paper we present a case study logistics using Algebraic Higher-Order Nets. Algebraic Higher-Order Nets are an extension of the well defined formalism of Algebraic High-Level Nets by higher-order functions leading to a more modeling technique. After an introduction of Algebraic Higher-Order Nets at an informal level we present the case study logistics and demonstrate the advantage of our approach which allows a modeling of business processes including exceptions and roles without changing the net structure of our nets.