Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Non Equivalence between Time Petri Nets and Time Stream Petri Nets
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata
RSP '02 Proceedings of the 13th IEEE International Workshop on Rapid System Prototyping (RSP'02)
Real-Time Object-Oriented Modeling (ROOM)
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Patterns in Property Specifications for Finite-State Verification
Patterns in Property Specifications for Finite-State Verification
Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL
Journal of Automated Reasoning
Hi-index | 0.02 |
In this paper we propose a timed extension for RPOO, a Petri-net based object-oriented modeling language. The timing strategy of the proposed extension, called RPOOt, is based on the timing strategy from the Timed Coloured Petri nets formalism. A simple stop-and-wait protocol RPOO model was developed in order to demostrate the proposed extension. We also show some performance measures for the model. RPOOt showed to be easily integrated with Timed Coloured Petri Nets, providing means for modeling time consuming activities inside objects as well as among objects. els of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power. The EXPRESS workshops were originally held as meetings of the HCM project EXPRESS, which was active with the same focus from January 1994 till December 1997. The first three workshops were held respectively in Amsterdam (1994, chaired by Frits Vaandrager), Tarquinia (1995, chaired by Rocco De Nicola), and Dagstuhl (1996, co-chaired by Ursula Goltz and Rocco De Nicola). The workshop in 1997, which took place in Santa Margherita Ligure and was co-chaired by Catuscia Palamidessi and Joachim Parrow, was organized as a conference with a call for papers and a significant attendance from outside the project. The 1998 workshop was held as a satellite workshop of the CONCUR'98 conference in Nice, co-chaired by Ilaria Castellani and Catuscia Palamidessi, and like on that occasion EXPRESS'99 was hosted by the CONCUR'99 conference in Eindhoven, co-chaired by Ilaria Castellani and Bjorn Victor. The EXPRESS'00 workshop was again held as a satellite workshop of CONCUR 2000, Pennsylvania State University, USA, co-chaired by Luca Aceto and Bjorn Victor. The papers in this volume were reviewed by the program committee consisting, besides the editors, ofFranck van Breugel(Department of Computer Science, York University)Ilaria Castellani(INRIA, Sophia-Antipolis)Rance Cleaveland(Department of Computer Science, SUNY at Stony Brook)Philippa Gardner(Department of Computing, Imperial College)Jan Friso Groote(Department of Computer Science, Eindhoven University of Technology)Faron Moller(Department of Computer Science, University of Wales Swansea)Joachim Parrow(KTH Teleinformatik, Royal Institute of Technology)Julian Rathke(School of Cognitive and Computing Sciences, University of Sussex)Roberto Segala(Dipartimento di Informatica, Universita di Verona) This volume will be published as volume 52 in the series Electronic Notes in Theoretical Computer Science (ENTCS). This series is published electronically through the facilities of Elsevier Science B.V. and its auspices. The volumes in the ENTCS series can be accessed at the URL http://www.elsevier.nl/locate/entcs We are very grateful to the following persons, whose help has been crucial for the success of EXPRESS'01: Hans Huttel and Anna Ingolfsdottir for their help with the organization of the Workshop as satellite event of CONCUR 2001; Mike Mislove, one of the Managing Editors of the ENTCS series, for his assistance with the use of the ENTCS style files; Uffe Engberg for his great help in the production of the preliminary version of these Proceedings for distribution at the Workshop. Thanks are also due to BRICS (Basic Research in Computer Science), a centre of the Danish National Research Foundation, which has supplied financial support to cover the printing costs. December 20, 2001 Luca Aceto and Prakash Panangaden