Use of constraints in Petri nets and their novel applications

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Boutet, F., Motet, G., Kubek, J.-M.
Format: Conference Proceeding
Language:English
Subjects:
Constraint theory
Control systems
Electric variables control
Electronic mail
Equations
Helium
Logic programming
Petri nets
Real time systems
System testing
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1062-922X
2577-1655
DOI:10.1109/ICSMC.1998.725379