Bibliography

Marcin Hewelt

2011

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

2010

Simon Adameit, Tobias Betz, Lawrence Cabac , Florian Hars, Marcin Hewelt, Michael Köhler-Bußmeier, Daniel Moldt, Dimitri Popov, José Quenum, Axel Theilmann, Thomas Wagner, Timo Warns, and Lars Wüstenberg.
Herold - agent-oriented, policy-based network security management.
In Future Security, 5th Security Research Conference, Berlin; 2010, 2010.

Daniel Moldt, Michael Köhler-Bußmeier, Axel Theilmann, Simon Adameit, Tobias Betz, Lawrence Cabac , Florian Hars, Marcin Hewelt, Dimitri Popov, José Quenum, Thomas Wagner, Timo Warns, and Lars Wüstenberg.
Modelling distributed network security in a Petri net and agent-based approach.
In Jürgen Dix and Cees Witteveen, editors, Multiagent System Technologies. 8th German Conference, MATES 2010, Leipzig, Germany, September 27-28, 2010. Proceedings, volume 6251 of Lecture Notes in Artificial Intelligence, pages 209-220, Berlin, Heidelberg, New York, September 2010. Springer-Verlag.

2009

Marcin Hewelt and Matthias Wester-Ebbinghaus.
United - a Petri net based framework for modeling complex and adaptive systems.
In Moldt , Petri Nets and Software Engineering, International Workshop, PNSE'09. Proceedings, pages 207-226.