Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 5.

Conference or workshop item

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) UML and Petri Nets for Design and Analysis of Distributed Systems. In: Control Applications, 2000. Proceedings of the 2000 IEEE International Conference on. IEEE, Alaska, USA pp. 610-615. ISBN 0-7803-6562-3. (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets. In: Proceedings of the 6th International Workshop on Discrete Event Systems. (The full text of this publication is not available from this repository)

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) Design of Distributed Manufacturing Systems using UML and Petri Nets. In: Algorithms and Architectures for Real-Time Control (AARTC 2000). Workshop on Algorithms and Architectures for Real-Time Control. Elsevier, Palma de Mallorca, Spain pp. 105-110. ISBN 0-08-043685-4 . (Full text available)
[img]
Preview

Bordbar, Behzad and Giacomini, L. and Holding, D.J. (2000) A UML-based Approach to the Modelling and Supervisory Control of Manufacturing Machinery. In: IEE Control Seminars on Model Validation for Plant Control and Condition Monitoring, 28 March 2000, London, UK, . (Full text available)
[img]
Preview

Boel, R.K. and Bordbar, Behzad and Stremersch, G. (1998) Controlled Timed Petri Nets: Equivalence Relations, Model Reduction. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Oct 11-14, 1998, San Diego, CA, . (The full text of this publication is not available from this repository)

This list was generated on Thu Apr 17 13:45:35 2014 BST.