Gérard Berthelot
-
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
A Decompositional Approach for Computing Least Fixed-Pointsof Datalog Programs with Z-Counters
Constraints
Dependency Analysis-A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems
IEEE Transactions on Parallel and Distributed Systems