Concurrency: state models & Java programs
Concurrency: state models & Java programs
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
The BRITNeY suite animation tool
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
| Hi-index | 0.00 |
The paper presents a development framework allowing the automatic generation of animated graphical user interface associated with specific embedded system controllers, and allowing the association of the characteristics of its behavioral model with specific characteristics of the graphical user interface through a set of dedicated rules. The behavioral model of the system is specified by means of an IOPT (Input-Output Place-Transition) Petri net model, which is represented using a PNML (Petri Net Markup Language) notation. Two main tools are described: the "Animator", and the "Synoptic". The first one is the development environment and allows the definition of the graphical characteristics of the synoptic, and their association with dynamic and static characteristics of the Petri net model (the "Animator"); this tool also supports hierarchical structuring of the synoptic and definition of platform dependent code to link the physical world to the Petri net model signals and events. The second one is responsible for the execution part including embedded control and on-line animation of the graphical user interface (the "Synoptic"). Current main usage of the tool is to support teaching of Petri nets and their application to automation and embedded systems design; yet, application as a SCADA (Supervisory, Control, and Data Acquisition) system is envisaged. The application of the tools to a Petri net model of a parking lot controller is briefly presented.