Petrigen
Overview
Entry last updated: 2003/6/23
Entry last validated: 2004/5/17
Tool homepage: http://www.ec-lille.fr/tomnab
Tool availability: Free of charge
Tool Features
Petri Nets Supported (see also help on terminology)
Components (see also help on terminology)
- Graphical Editor
- Token Game Animation
- synthesis
Environments
- PC, Linux
- PC, MS Windows 95
- PC, MS Windows 98
- PC, MS Windows NT
- PC, MS Windows 2000
- PC, MS Windows XP
Tool Description
Petrigen is a tool written in Tcl/Tk (a script language) that offers features to synthesize Petri Nets from structural and behavioral specifications. It combines a Petri Net editor and an interface to any prolog iso compliant language, from which the results can be viewed in the editor. It allows the easy development of new features in Prolog thanks to a dedicated editor, and new Tcl/Tk functions can be added directly to a running program session with the use of a "Tcl terminal".
Contact Information
Thomas Bourdeaud_huy@ec-lille.fr
Ecole Centrale de Lille
Cit‰ Scientifique
59650 VILLENEUVE D'ASCQ
FRANCE
Phone: +33 0320335455
Fax: +33 0320335418
E-mail: thomas.bourdeaud_huy@ec-lille.fr
Other Remarks
The maintainers of this page