For the most recent entries see the Petri Nets Newsletter.

Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time.

Steggles, L. Jason

In: J.-M. Colom, M. Koutny (Eds.), Newcastle upon Tyne, UK: Proc. of 22nd International Conf. on Applications and Theory of Petri Nets 2001 (ICATPN 2001), pages 363-381. Lecture Notes in Computer Science 2075, edited by G. Goos, J. Hartmanis and J. van Leuwen, Springer, June 2001.

Abstract: Rewriting logic (RL) is an extension of standard algebraic specification techniques which uses rewrite rules to model the dynamic behaviour of a system. In this paper we consider using RL and the associated support tool Elan as an environment for rapidly prototyping and analysing Petri nets with time. We link these algebraic tools to the existing Petri net tool PEP which we use to provide a user-friendly front end to our framework. Our flexible approach allows the wide range of possible time extensions presented in the literature to be investigated and thus overcomes one of the major drawbacks of the current hardwired tools. We demonstrate our ideas by considering time Petri nets in which transitions are associated with a time interval within which they can fire. The flexibility of our approach is illustrated by modelling a range of semantic alternatives for time Petri nets taken from the literature.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography