Christian Ghezzi

Learn More
Petri nets have been widely used in the past to model vari&s types of concurrent systems, including real-time systems. To do so, a variety of ad-hoc solutions have been proposed in order to allow time to be taken into account in specifications. In this paper, we initially survey these proposals and then we illustrate a new proposal (TEI nets), that unifies(More)
1, ABSTRACT This paper presents an application for the interactive exploration of a telephone call database over the World Wide Web using virtual reality techniques. 1.1 Keywords Web-based services, Web-based interaction, Graphical user interfaces, Navigation 2. INTRODUCTION PhoNct is a tool for the interactive exploration of a L&phone call database in(More)
  • 1