De Jong, GjaltGjaltDe JongLin, BillBillLin2021-09-292021-09-291994https://imec-publications.be/handle/20.500.12860/110A communicating Petri Net model for the design of concurrent asynchronous modulesProceedings paper