Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers.