Details

Autor(en) / Beteiligte

• Boutet, F.
• Motet, G.
• Kubek, J.-M.

Titel

Use of constraints in Petri nets and their novel applications

Ist Teil von

• Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics, 1998, Vol.1, p.32-37 vol.1

Ort / Verlag

IEEE

Erscheinungsjahr

1998

Quelle

IEEE Xplore

Beschreibungen/Notizen

• Deals with Petri net-based formalisms that formally handle constraints by means of the constraint logic programming framework. Studies on such high-level nets lead to the design of a general tool for modelling and solving different problems arising in system design. We present applications to hybrid and real-time systems, and to flexible constraint satisfaction problems.