TOPNET: A Tool for the Visual Simulation of Communication Networks
暂无分享,去创建一个
Marco Ajmone Marsan | Gianfranco Balbo | Fabio Neri | Giorgio Bruno | M. Marsan | F. Neri | G. Balbo | G. Bruno
[1] Jonathan Billington,et al. Specification of the Transport Service Using Numerical Petri Nets , 1982, PSTV.
[2] Bernd E. Wolfinger,et al. Simulation of a Local Computer Network Architecture Applying a Unified Modeling System , 1982, Comput. Networks.
[3] Harry Rudin,et al. From Formal Protocol Specification Towards Automated Performance Prediction , 1983, Protocol Specification, Testing and Verification.
[4] Marco Ajmone Marsan,et al. Digital Simulation of Communication Systems with TOPSIM III , 1984, IEEE J. Sel. Areas Commun..
[5] Jean-Pierre Courtiat,et al. Petri nets are good for protocols , 1984, Comput. Commun. Rev..
[6] Michael Fashano,et al. Communication System Simulation and Analysis with SYSTID , 1984, IEEE J. Sel. Areas Commun..
[7] Charles H. Sauer,et al. Queueing Network Simulations of Computer Communication , 1984, IEEE J. Sel. Areas Commun..
[8] Parviz Kermani,et al. Performance Evaluation Tool (PET): An Analysis Tool for Computer Communication Networks , 1984, IEEE J. Sel. Areas Commun..
[9] Jonathan Billington,et al. Protocol analysis using numerical Petri nets , 1985, Applications and Theory in Petri Nets.
[10] Robert J. T. Morris,et al. Visual Simulation: The Performance Analysis Workstation , 1985, Computer.
[11] Wolfgang Reisig,et al. Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.
[12] Grady Booch,et al. Object-oriented development , 1986, IEEE Transactions on Software Engineering.
[13] Kurt Jensen,et al. Petri Net Tool Overview 1986 , 1986, Advances in Petri Nets.
[14] Benjamin Melamed,et al. The Performance Analysis Workstation: An Interactive Animated Simulation Package for Queuing Networks , 1986, FJCC.
[15] K. Sam Shanmugan,et al. Block-Oriented Systems Simulator (BOSS) , 1986, MILCOM 1986 - IEEE Military Communications Conference: Communications-Computers: Teamed for the 90's.
[16] Giorgio Bruno,et al. Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.
[17] James F. Kurose,et al. A Graphics-Oriented Modeler's Workstations Environment for The Research Queueing Package (RESQ) , 1986, FJCC.
[18] Giorgio Bruno,et al. An Environment for Object- oriented Conceptual Programming Based on PROT Nets , 1987, European Workshop on Applications and Theory of Petri Nets.
[19] Stanislaw Budkowski,et al. Simulating Estelle Specifications with Time Parameters , 1987, PSTV.
[20] Jonathan Billington,et al. PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols , 1988, IEEE Trans. Software Eng..
[21] John K. Jackman,et al. A graphical methodology for simulating communication networks , 1988, IEEE Trans. Commun..
[22] Giorgio Bruno,et al. Object-oriented conceptual programming based on PROT nets , 1988, Proceedings. 1988 International Conference on Computer Languages.
[23] J. F. Kurose,et al. Animating simulations in RESQME , 1989, WSC '89.
[24] Jim Kurose,et al. An extensible visual environment for construction and analysis of hierarchically-structured models of resource contention systems , 1989 .