Occurrence Graphs for Interval Timed Coloured Nets
暂无分享,去创建一个
[1] C. Ramchandani,et al. Analysis of asynchronous concurrent systems by timed petri nets , 1974 .
[2] Charles André,et al. Synchronized elementary net systems , 1988, European Workshop on Applications and Theory in Petri Nets.
[3] Bernard Berthomieu,et al. An Enumerative Approach for Analyzing Time Petri Nets , 1983, IFIP Congress.
[4] David de Frutos-Escrig,et al. TIC: A Timed Calculus for LOTOS , 1989, Formal Techniques for (Networked and) Distributed Systems.
[5] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[6] Rami R. Razouk,et al. The derivation of performance expressions for communication protocols from timed petri net models , 1984, Comput. Commun. Rev..
[7] Wil M. P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis , 1993, Application and Theory of Petri Nets.
[8] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .
[9] Stéphane Natkin,et al. Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol , 1981, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.
[10] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[11] Joseph Sifakis,et al. An Overview and Synthesis on Timed Process Algebras , 1991, CAV.
[12] Joseph Sifakis,et al. Use of Petri nets for performance evaluation , 1977, Acta Cybern..
[13] P. Merlin,et al. Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.