Unified model for synthesis and optimization of discrete event and hybrid systems
Paper i proceeding, 2014

A recently proposed generic discrete event model is further developed and exemplified in this paper. Since every transition is expressed as a predicate on the current and next values of a set of variables, the model is called Predicate Transition Model (PTM). It is briefly illustrated how a number of well known discrete-event models, including automata and Petri nets extended with shared variables, can be formulated and synthesized in the PTM framework. More specifically modular Petri nets with shared variables (PNSVs) are shown to be significantly more readable compared to ordinary Petri nets. PTMs are also naturally extended to hybrid systems, and finally it is shown how easy and efficiently PNSVs can be optimized concerning performance based on Constraint Programming. To summarize, the proposed modeling framework unifies and simplifies both synthesis, optimization and implementation of discrete event systems.


Discrete-event systems

Supervisory control


Petri net

Hybrid systems



Bengt Lennartson

Chalmers, Signaler och system, System- och reglerteknik

Oskar Wigström

Chalmers, Signaler och system, System- och reglerteknik

Martin Fabian

Chalmers, Signaler och system, System- och reglerteknik

Francesco Basile

Universita degli Studi di Salerno

IFAC Proceedings Volumes (IFAC-PapersOnline)

24058963 (eISSN)

Vol. 12 86-92
978-3-902823-61-8 (ISBN)

12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 210414-16 May 2014
Cachan, France,


Informations- och kommunikationsteknik



Robotteknik och automation


Datavetenskap (datalogi)



Mer information

Senast uppdaterat