Dans cette séance d'exercices, nous allons poursuivre notre étude de l'algèbre linéaire dans le cadre des réseaux de Petri en utilisant les P/T-invariants.
-
Notifications
You must be signed in to change notification settings - Fork 0
cui-unige/outils-formels-ex9
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published