Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Sat 29 Sep 2018 14:55 - 15:10 at Burlington Route - Session 3

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 Sep

erlang-2018-papers
14:30 - 15:10: Erlang 2018 - Session 3 at Burlington Route
erlang-2018-papers14:30 - 14:55
Full-paper
Stavros AronisErlang Solutions, Sweden, Viktória FördősKlarna Bank, Sweden, Dániel SzoboszlayKlarna Bank, Sweden
DOI
erlang-2018-papers14:55 - 15:10
Short-paper
Jörgen BrandtHumboldt-Universität zu Berlin, Germany, Wolfgang ReisigHumboldt-Universität zu Berlin, Germany
DOI