Didier BuchsBooksGénie logicielApplication and Theory of Petri Nets and ConcurrencyAuthor data: Open Library