Exploiting stochastic process algebra achievements for generalized stochastic Petri nets
暂无分享,去创建一个
Holger Hermanns | Ulrich Herzog | Michael Rettelbach | Vassilis Mertsiotakis | H. Hermanns | M. Rettelbach | U. Herzog | V. Mertsiotakis
[1] Marina Ribaudo. On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras , 1995, Comput. J..
[2] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[3] Peter Buchholz. A Notion of Equivalence for Stochastic Petri Nets , 1995, Application and Theory of Petri Nets.
[4] Holger Hermanns,et al. Stochastic Process Algebras , 1995 .
[5] Carla Simone,et al. A survey of equivalence notions for net based systems , 1992, Advances in Petri Nets: The DEMON Project.
[6] Peter Buchholz. Markovian process algebra: Composition and equiva-lence , 1994 .
[7] François Baccelli,et al. Quantitative Methods in Parallel Systems , 1995, Esprit Basic Research Series.
[8] Jean-Claude Fernandez. ALDEBARAN : un système de vérification par réduction de processus communicants. (Aldebaran : a system of verification of communicating processes by using reduction) , 1988 .
[9] Holger Hermanns,et al. Towards a superset of Basic Lotos for Performance Prediction , 1996 .
[10] Marco Ajmone Marsan,et al. Performance models of multiprocessor systems , 1987, MIT Press series in computer systems.
[11] Isabel Rojas. Compositional Construction of SWN models , 1995, Comput. J..
[12] Michael Rettelbach. Stochastische Prozessalgebren mit zeitlosen Aktivitäten und probabilistischen Verzweigungen , 1996 .
[13] Raymond R. Devillers,et al. The box calculus: a new causal algebra with multi-label communication , 1992, Advances in Petri Nets: The DEMON Project.
[14] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[15] Giovanni Chiola,et al. Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.
[16] Nadia Tawbi,et al. Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS , 1996, FORTE.
[17] J. Davenport. Editor , 1960 .
[18] Marco Ajmone Marsan,et al. Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..
[19] H. Hermanns,et al. Syntax , Semantics , Equivalences , and Axioms for MTIPP y , 1994 .
[20] Holger Hermanns,et al. Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching , 1995, Comput. J..
[21] O. Botti,et al. Process and resource boxes: an integrated PN performance model for applications and architectures , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.
[22] Susanna Donatelli,et al. Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution , 1994, Application and Theory of Petri Nets.
[23] Iso. Lotos,et al. A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .
[24] Giuliana Franceschinis,et al. The PSR Methodology: Integrating Hardware and Software Models , 1996, Application and Theory of Petri Nets.