Publications

Selected publications concerning PAOSE.

Integrating Verification into the PAOSE Approach Marcin Hewelt, Thomas Wagner, and Lawrence Cabac . In Duvigneau et al. (Hrsg.), Petri Nets and Software Engineering. International Workshop PNSE'11, Newcastle upon Tyne, UK, June 2011. Proceedings, pages 124-135. ​pdf

A monitoring toolset for Petri net-based agent-oriented software engineering Lawrence Cabac , Till Dörges , and Heiko Rölke. In Rüdiger Valk and Kees M. van Hee, editors, 29th International Conference on Application and Theory of Petri Nets, Xi'an, China, volume 5062 of Lecture Notes in Computer Science, pages 399-408. Springer-Verlag, June 2008. ​pdf

Agent models for concurrent software systems Lawrence Cabac , Till Dörges , Michael Duvigneau, Daniel Moldt, Christine Reese, and Matthias Wester-Ebbinghaus. In Ralph Bergmann and Gabriela Lindemann, editors, Proceedings of the Sixth German Conference on Multiagent System Technologies, MATES'08, volume 5244 of Lecture Notes in Artificial Intelligence, pages 37-48, Berlin, Heidelberg, New York, 2008. Springer-Verlag. ​pdf

Multi-agent system: A guiding metaphor for the organization of software development projects Lawrence Cabac . In Paolo Petta, editor, Proceedings of the Fifth German Conference on Multiagent System Technologies, volume 4687 of Lecture Notes in Computer Science, pages 1-12, Leipzig, Germany, 2007. Springer-Verlag. ​pdf

Modeling dynamic architectures using nets-within-nets Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke. In Gianfranco Ciardo and Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005. 26th International Conference, ICATPN 2005, Miami, USA, June 2005. Proceedings, volume 3536 of Lecture Notes in Computer Science, pages 148-167, 2005. ​pdf