12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Digging into Concurrency
View graph of relations

« Back

Digging into Concurrency

Research output: Contribution in Book/Report/ProceedingsConference contribution

Published

Publication date2002
Host publicationConcurrency in Dependable Computing
EditorsP. Ezhilchelvan, Alexander Romanovsky
Place of publicationBoston, Mass.
PublisherKluwer Academic Publishers
ISBN (Print)9781402070433
Original languageEnglish

Conference

ConferenceWorkshop on Concurrency in Dependable Computing
Period1/01/00 → …

Conference

ConferenceWorkshop on Concurrency in Dependable Computing
Period1/01/00 → …

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.