Distributed systems are more important in systems design than ever. Partitioning systems into independent, distributed components has many advantages but also brings about design challenges. The OTP framework addresses such challenges by providing process templates that separate application-dependent from application-specific logic. This way the OTP framework hosts a variety of modeling techniques, e.g., finite state machines.
Petri nets are a modeling technique especially suited for distributed systems. We introduce gen_pnet, a behavior for designing Erlang processes as Petri nets. We give a short introduction to Petri net semantics and demonstrate how Erlang applications can be modeled as Petri nets. Furthermore, we discuss two Erlang applications modeled and implemented as Petri nets. For both applications we introduce a Petri net model and discuss design challenges.
Sat 29 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
14:30 - 15:10
|Modelling Distributed Erlang within a Single Node|
A: Stavros Aronis Erlang Solutions, Sweden, A: Viktória Fördős Klarna Bank, Sweden, A: Dániel Szoboszlay Klarna Bank, SwedenDOI
|Modeling Erlang Processes as Petri Nets|
A: Jörgen Brandt Humboldt-Universität zu Berlin, Germany, A: Wolfgang Reisig Humboldt-Universität zu Berlin, GermanyDOI