Michel Diaz
-
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
Implementing a DSP-Based Petri-Net Simulation Tool
IEEE Micro
Petri nets for protocol engineering
Computer Communications