International workshop on Petri nets and software engineering, Newcastle upon Tyne, UK
20 June 2011 - 20 June 2011
United Kingdom
An international workshop on Petri nets and software engineering will take place on 20 and 21 June 2011 in Newcastle upon Tyne, UK.
To successfully develop complex systems composed of interacting and reactive software and hardware components, the use of a precise language at different stages of the development process is crucially important.
Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation, and verification. (A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems.) Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability.
Topics that are set to be covered during the conference include:
- modelling;
- validation and execution;
- verification;
- the application of Petri nets in software engineering;
- open problems and new applications of Petri nets;
- the relation of Petri nets and software engineering;
- tools.For further information, please visit: http://www.informatik.uni-hamburg.de/TGI/events/pnse11/(opens in new window)
To successfully develop complex systems composed of interacting and reactive software and hardware components, the use of a precise language at different stages of the development process is crucially important.
Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation, and verification. (A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems.) Their popularity is due to the fact that Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability.
Topics that are set to be covered during the conference include:
- modelling;
- validation and execution;
- verification;
- the application of Petri nets in software engineering;
- open problems and new applications of Petri nets;
- the relation of Petri nets and software engineering;
- tools.For further information, please visit: http://www.informatik.uni-hamburg.de/TGI/events/pnse11/(opens in new window)