Rendezvous publications 2004...
Grobner Bases as a Tools for Petri Net Analysis
Chandler A, Heyworth A. Proceedings of SCI 2001
Chandler A, Patching S, Blair L. Workshop on Concurrency in Dependable Computing at Petri Nets 2001, Newcastle
Formal Methods Demonstration paper
Chandler A, Blair L, September 2000
Formal Methods Demonstration (Cat and Mouse)
Chandler A, September 2000
From Design to Execution of a Mechatronic System.
Chandler A, Seward D, Chaplin B. Mechatronics 2000 Conference
Testing Petri Nets for Mobile Robots Using Grobner Bases.
Chandler A, Heyworth A, Blair L, Seward D. Proceedings of the Workshop on Software Engineering and Petri Nets, Aarhus 2000
An Object-Oriented Petri Net Toolkit for Mechatronic System Design
PhD thesis - Chandler A. October 99
Grobner Basis Procedures for Testing Petri Nets.
Chandler A, Heyworth A. UWB Math preprint 99.11,1999
Conceptual Design and Development of a Navigation System for a Mobile Robot.
Yavuz H, Chandler A, Bradshaw A, Seward D. Proceedings of CACD 99, 1999
Network Modelling of Smoke
Spread in Buildings
Cho TC, Leung Ming LI, Graham TL, Chandler AK, Proceedings of Fire Asia, Hong Kong, Nov 1998.
The Use of Satellite GPS for Real Time Vehicle Control
MSc thesis - Chandler A. September 96
If you want to get hold of anything that's not available on this page, just drop me a line at email 
