Transcription des réseaux de Petri dans le système FoCaLiZe
No Thumbnail Available
Files
Date
2012
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
77 p. : ill. ; 30 cm. (+ CD-Rom)
Keywords
Pétri, Réseaux de : Transcription, Méthodes formelles (informatique), Logique du premier ordre, Théorèmes : Démonstration automatique, Logique mathématique