MIN Faculty
Department of Informatics
Theoretical Foundations of Computer Science

Bibliography

An Extensible Editor and Simulation Engine for Petri Nets: Renew

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
An extensible editor and simulation engine for Petri nets: Renew.
In Jordi Cortadella and Wolfgang Reisig, editors, Applications and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004, Bologna, Italy, June 2004. Proceedings, volume 3099 of Lecture Notes in Computer Science, pages 484-493, Berlin, Heidelberg, New York, June 2004. Springer.  [pdf]  [link]

Abstract: Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration for easy modelling. Renew is available free of charge including the Java source code. Due to the growing application area more and more requirements had to be fulfilled by the tool set. Therefore, the architecture of the tool has been refactored to gain more flexibility. Now new features allow for plug-ins on the level of concepts (net formalisms) and on the level of applications (e.g.~workflow or agents).

[link] [pdf] 

BibTeX entry



@InProceedings{Kummer+04b,
  author =   {Kummer, Olaf and Wienberg, Frank and Duvigneau, Michael and
                  Schumacher, J{\"o}rn and K{\"o}hler, Michael and Moldt, Daniel
                  and R{\"o}lke, Heiko and Valk, R{\"u}diger},
  title =    {An Extensible Editor and Simulation Engine for {Petri} Nets: {Renew}},
  booktitle =    {Applications and Theory of {Petri} Nets 2004. 25th
                  International Conference, ICATPN 2004, Bologna, Italy,
                  June 2004. Proceedings},
  pages =    {484--493},
  year =     2004,
  editor =   {Cortadella, Jordi and Reisig, Wolfgang},
  volume =   {3099},
  series =   LNCS,
  address =  Springer.addr,
  month =    jun,
  publisher =    {Springer},
  url =          {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=3099&spage=484},
  abstract =     {Renew is a computer tool that supports the development
                  and execution of object-oriented Petri nets, which
                  include net instances, synchronous channels, and seamless
                  Java integration for easy modelling. Renew is available
                  free of charge including the Java source code. Due to the
                  growing application area more and more requirements had
                  to be fulfilled by the tool set. Therefore, the
                  architecture of the tool has been refactored to gain more
                  flexibility. Now new features allow for plug-ins on the
                  level of concepts (net formalisms) and on the level of
                  applications (e.g.~workflow or agents).}
}


Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.