Executing Petri net based system model

Implementation in a low-level language exposes problems with the system modeling, but involves considerable development and debugging effort, particularly if the modeling problems are discovered late in the implementation and lead to significant changes being made. Implementation in a high-level language with well-defined and safe semantics could be a good solution to this issue. In this paper, Petri nets have been used to model systems. By defining rules to map Petri net to Haskell, a functional language, we get a high level implementation of the system. After executing Haskell program, we can check in the early design phase the problems that will be found in the late implementation phase. Gas station problem has been employed to illustrate our method.