𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2003 Volume 2679 || A Proposal for Structuring Petri Net-Based Agent Interaction Protocols

✍ Scribed by van der Aalst, Wil M. P.; Best, Eike

Book ID
118175618
Publisher
Springer Berlin Heidelberg
Year
2003
Tongue
English
Weight
343 KB
Edition
1
Category
Article
ISBN
3540449191

No coin nor oath required. For personal study only.

✦ Synopsis

TheΒ refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, model checking, networking, business process modeling, formal methods in software engineering, agent systems, systems specification, systems validation, discrete event systems, protocols, and prototyping.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Appl
[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2003 Volume 2679 || Modelling Mobility and Mobile Agents Using Nets within Nets
✍ van der Aalst, Wil M. P.; Best, Eike πŸ“‚ Article πŸ“… 2003 πŸ› Springer Berlin Heidelberg 🌐 English βš– 634 KB

TheΒ refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions.

[Lecture Notes in Computer Science] Appl
[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || The ProM Framework: A New Era in Process Mining Tool Support
✍ Ciardo, Gianfranco; Darondeau, Philippe πŸ“‚ Article πŸ“… 2005 πŸ› Springer Berlin Heidelberg βš– 291 KB

This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the ?eld of Petri nets and related models of concurrency, and to foster new -