New Book on Modelling Concurrent Systems using Petri nets

New book has been published in Saint Petersburg, by Professional Literature.

Marakhovsky VB, Rozenblyum LYa, Yakovlev AV. Моделирование параллельных процессов. Сети Петри. (The book is in Russian language)(Modelling Concurrent Processes. Petri nets) . Saint Petersburg: СПб: Профессиональная литература, АйТи-Подготовка (Professional Literature, www.profliteratura.ru), 2014.

marahovsky2014

 

The book is in the Series of Selected Titles in Computer Science. It presents a course for Systems Architects and Programmers, Systems Analysts and Designers of Complex Control Systems.

Practically any more or less complex information or control system has components that operate concurrently, in other words in parallel. This book presents methods for formal dynamical modelling of parallel asynchronous processes. Such processes can be found in various application areas, such as computations, control, interfaces, programming, robotics or artificial intelligence.

It is emphasized in this book that there is an important relationship between a structural model, which reflects static properties of the modelled system, and its dynamic (behavioural) model. This two-pronged fundamental approach is suitable at all stages of system design – specification, analysis, implementation and verification.

The book has numerous examples and exercises, which makes it a good supporting text for courses in various syllabi involving modelling information and control systems.

 

 

 

Chris Spargo’s talk on Heaviside at NEMIG seminar on August 4, 2014

NEMIG Seminar: Oliver Heaviside FRS: The Man, His Work and Memorial Project

13:45 – 14:30, 4th August 2014, Room: M4.13 (CPD Room) Merz Court

A talk followed by discussion session will be held by NEMIG co-founder Christopher Spargo.

The talk will briefly outline Heaviside’s life from childhood until his death, his friendships, relations and recognitions. The talk will then proceed to discuss some of his major achievements such as the reformulation of Maxwell’s equations into today’s known form, the problem of Victorian telegraphy and Heaviside’s solution due to the development of his distributed transmission line model through to some little known aspects of his work but which have major impact. The talk will conclude with an introduction to the Heaviside Memorial Project of which the speaker is the founder and project director. Questions and discussion amongst the group afterwards are most welcome.