Lancaster EPrints

Digging into Concurrency

Chandler, A. and Patching, Serena and Blair, Lynne (2002) Digging into Concurrency. In: Concurrency in Dependable Computing :. Kluwer Academic Publishers, Boston, Mass.. ISBN 9781402070433

Full text not available from this repository.

Abstract

The topic of this paper is the design and implementation of an interacting Lego digger and dumper truck through the use of Petri nets. The focus of this is primarily on the use of Petri nets in the developing of dependable systems, an area of particular concern in the full-size equivalent of our experiment. The content of this paper will discuss the progression of the Petri net model of these two Lego robots, from design to implementation, and finally evaluation. The paper also features an extension to the Petri net, intended to allow the dumper to authenticate the digger for added security.

Item Type: Contribution in Book/Report/Proceedings
Subjects: ?? qa75 ??
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 60287
Deposited By: ep_importer_pure
Deposited On: 28 Nov 2012 10:17
Refereed?: No
Published?: Published
Last Modified: 08 Sep 2017 01:14
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/60287

Actions (login required)

View Item