ATACORA
Examples
Clapet (B2ATS, ATS2PMLA and ATS2PN)
entreeB.txt
(The initial input B specification)
-----B2ATS-->
sortieATS.txt
---ATS2Pml--->
sortiePML.txt
---ATS2PetriNet--->
sortieRdP.txt
A view of the generated petri net.
Christian Attiogbé
