Concurrent Asynchronous Systems
The group's research interests centre around the development and application of formal methods to modelling and reasoning about concurrent asynchronous systems.
We are actively involved in the organisation of various events of the international community working on concurrent asynchronous systems, in particular, theory and applications of Petri nets.
We co-organise the ASL seminar series which provides a forum for research staff and students of Newcastle University to present and discuss work on a wide range of topics related to the theory and applications of concurrent and distributed systems.
What we do
- model checking of Petri nets
- Petri net unfolding techniques
- verification and synthesis of asynchronous circuits
- formal techniques for biological networks
- models and tools for genetic regulatory networks
- synthesis of Petri nets
- relationship between Petri nets and process algebras
- Petri nets and membrane systems
What we are proud of
- best papers
- publications
- fellowships
Challenges
- compositionality of structure and behaviour
- efficient verification techniques
- faithful modelling of complex concurrent systems
Impact
- tools
- cooperation
- awards
- external involvement
- projects
- our conferences
- our meetings
News
- CONCUR and ACSD to be held in Newcastle in September 2012
- centenary celebration of the life and work of Alan Turing in 2012
