Lectures on Petri nets : advances in Petri nets

Petri nets, process algebras and concurrent programming languages.- Petri nets and production systems.- Computer Supported Cooperative Work and Petri Nets.- Petri nets and digital hardware design.- An introduction to the practical use of coloured Petri Nets.- Protocol specification using P-graphs, a technique based on coloured Petri Nets.- Distributed algorithms for networks of agents.- Efficient performance analysis techniques for stochastic well-formed nets and stochastic process algebras.- Modelling and analysis of distributed software using GSPNs.