Object-Tokens in High-Level Grafchart
The paper presents an high-level extension to Grafchart, a Grafcet-based toolbox for supervisory control applications. The extension allows tokens to be objects with attributes. Contrary to most high-level extensions to Petri Nets and Gracet it is not based on inscriptions.
