Use of constraints in Petri nets and their novel applications
F. Boutet, Gilles Motet, J.-M. Kubek · 2002
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.