Specifications in stochastic process algebra for a robot control problem

References

• AJMONE MARSAN , M. , CONTE , G. and BALBO , G. , 1984 , A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems . ACM Transactions on Computer Systems , 2 ( 2 ), 93 – 122 .
   Web of Science ®Google Scholar
• BALBO , G. , CHIOLA , G. and FRANCESCHINIS , G. , 1989 , Stochastic Petri net simulation for the evaluation of flexible manufacturing systems . In Simulation Applied to Manufacturing Energy and Environmental Studies and Electronics and Computer Engineering , S. Tucci, A. Mathis, W. Han and R. Zobel (eds) .
   Google Scholar
• DICESARE , F. , HARHALAKIS , G. , PROTH , J. , SILVA , M. and VERNADAT , F. , 1993 , Practice of Petri Nets in Manufacturing ( London Chapman & Hall ).
   Google Scholar
• DULZ , W. and HERZOG , U. , 1995 , Entwurf, Implementierung und Bewertung von Kommuni-kationsdiensten-Arbeitsberichl 1993–95, SFB 182, Teilprojekt B3. Technical report Universität Erlangen-Nürnberg, IMMD VII.
   Google Scholar
• GILMORE , S. and HILLSTON , J. , 1994 , The PEPA Workbench A Tool to Support a Process Algebra-based Approach to Performance Modelling . In Haring , G. and Kotsis , G. , editors, Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation , G. Haring and G. Kotsis (eds), vol. 794 of LNCS ( Berlin Springer-Verlag ), pp. 353 – 368 .
   Google Scholar
• GÖTZ , N. , HIERZOG , U. and RETTELBACH , M. , 1993 , Multiprocessor and distributed system design the integration of functional specification and performance analysis using stochastic process algebras . In Performance '93 .
   Google Scholar
• HANNA , M. , BUCK , A. and SMITH , R. , 1993 , Modelling Safety Requirements of an FMS using Petri nets. In Proceedings of SPIE International Symposium on Optical Tools for Manufacturing and Advanced Automation.
   Google Scholar
• HERMANNS , H. and RETTELBACH , M. , 1994 , Semantics, equivalence and axiomatization|ct. In Proceedings of the 2nd Workshop on Process Algebra and Performance Modelling|bt, IMMD7, Universität Erlangen-Nürnberg.
   Google Scholar
• HILLSTON , J. , 1994 , A compositional approach to performance modelling . PhD thesis Department of Computer Science, University of Edinburgh . CST-107-94 .
   Google Scholar
• HOARE , C. , 1985 , Communicating Sequential Processes ( New Jersey Prentice-Hall ).
   Google Scholar
• HOLTON , D. R. W. , 1991 , A rigorous approach to robot programming . PhD thesis , The Queen's University of Belfast .
   Google Scholar
• ISO , 1987 , Information processing systems-open systems interconnection. LOTOS, a formal description technique based on the temporal ordering of observational behaviour .
   Google Scholar
• JIN , Q. , SUGASAWA , Y. and SEYA , K. , 1989 , Probabilistic behaviour and reliability analysis for a multi-robot system by applying Petri net and Markov renewal process theory . Microelectronics and Reliability , 29 ( 6 ), 993 – 1001 .
   Web of Science ®Google Scholar
• JONES , C. , 1990 , Systematic Software Development using VDM ( New Jersey Prentice Hall ).
   Google Scholar
• KILPATRICK , P. , MCPARLAND , P. and GILMORE , S. , 1990 , The formal development of robot software . In IEE Computing and Control Division Colloquium on The Application of CASE Tools ( London Institution of Electrical Engineers ), Digest no. 1990/058 .
   Google Scholar
• MILNER , R. , 1989 , Communication and Concurrency ( New Jersey Prentice-Hall ).
   Google Scholar
• ∗ To whom correspondence should be addressed.
   Google Scholar