𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2003 Volume 2679 || Modelling Mobility and Mobile Agents Using Nets within Nets

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

Book ID
118174927
Publisher
Springer Berlin Heidelberg
Year
2003
Tongue
English
Weight
634 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 || 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.

[Lecture Notes in Computer Science] Mode
[Lecture Notes in Computer Science] Modelling Foundations and Applications Volume 6138 || Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search
✍ KΓΌhne, Thomas; Selic, Bran; Gervais, Marie-Pierre; Terrier, FranΓ§ois πŸ“‚ Article πŸ“… 2010 πŸ› Springer Berlin Heidelberg 🌐 German βš– 412 KB

This Book Constitutes The Proceedings Of The 6th European Conference On Modelling Foundations And Applications, Held In Paris, France, In June 2010.