𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Multiagent System Technologies Volume 3187 || Modelling and Analysis of Agent Protocols with Petri Nets

✍ Scribed by Lindemann, Gabriela; Denzinger, Jörg; Timm, Ingo J.; Unland, Rainer

Book ID
120220080
Publisher
Springer Berlin Heidelberg
Year
2004
Weight
194 KB
Category
Article
ISBN
3540300821

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Lect
[Lecture Notes in Computer Science] Lectures on Concurrency and Petri Nets Volume 3098 || Application of Coloured Petri Nets in System Development
✍ Desel, Jörg; Reisig, Wolfgang; Rozenberg, Grzegorz 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 726 KB

This Tutorial Volume Originates From The 4th Advanced Course On Petri Nets, Acpn 2003, Held In Eichsttt, Germany In September 2003. In Addition To Lectures Given At Acpn 2003, Additional Chapters Have Been Commissioned To Give A Well-balanced Presentation Of The State Of The Art In The Area. This Bo

[Lecture Notes in Computer Science] Appl
[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2003 Volume 2679 || A Proposal for Structuring Petri Net-Based Agent Interaction Protocols
✍ van der Aalst, Wil M. P.; Best, Eike 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 343 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.