Interval timed coloured petri nets and their analysis

1. W.M.P. van der Aalst, Interval Timed Petri Nets and their analysis. Computing Science Notes 91/09, Eindhoven University of Technology, Eindhoven, 1991.

   Google Scholar 

2. -, Modelling and Analysis of Complex Logistic Systems, in Proceedings of the IFIP WG 5.7 Working Conference on Integration in Production Management Systems, Eindhoven, the Netherlands, 1992, pp. 203–218.

   Google Scholar 

3. -, Timed coloured Petri nets and their application to logistics, PhD thesis, Eindhoven University of Technology, Eindhoven, 1992.

   Google Scholar 

4. W.M.P. van der Aalst and A.W. Waltmans, Modelling logistic systems with EXSPECT, in Dynamic Modelling of Information Systems, H.G. Sol and K.M. van Hee, eds., Elsevier Science Publishers, Amsterdam, 1991, pp. 269–288.

   Google Scholar 

5. C. Andre, Synchronized Elementary Net Systems, in Advances in Petri Nets 1989, G. Rozenberg, ed., vol. 424 of Lecture Notes in Computer Science, Springer-Verlag, New York, 1990, pp. 51–76.

   Google Scholar 

6. ASPT, ExSpect 4.0 User Manual, Eindhoven University of Technology, 1993.

   Google Scholar 

7. B. Berthomieu and M. Diaz, Modelling and verification of time dependent systems using Time Petri Nets, IEEE Transactions on Software Engineering, 17 (1991), pp. 259–273.

   Google Scholar 

8. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad, On wellformed coloured nets and their symbolic reachability graph, in Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, Paris, June 1990, pp. 387–411.

   Google Scholar 

9. G. Florin and S. Natkin, Evaluation based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol, in Application and theory of Petri nets: selected papers from the first and the second European workshop, C. Girault and W. Reisig, eds., vol. 52 of Informatik Fachberichte, Berlin, 1982, Springer-Verlag, New York, pp. 280–288.

   Google Scholar 

10. H.J. Genrich and K. Lautenbach, System modelling with high level Petri nets, Theoretical Computer Science, 13 (1981), pp. 109–136.

    Google Scholar 

11. K.M. van Hee, System Engineering: a Formal Approach (to appear), 1993.

    Google Scholar 

12. K.M. van Hee, L.J. Somers, and M. Voorhoeve, Executable specifications for distributed information systems, in Proceedings of the IFIP TC 8 / WG 8.1 Working Conference on Information System Concepts: An In-depth Analysis, E.D. Falkenberg and P. Lindgreen, eds., Namur, Belgium, 1989, Elsevier Science Publishers, Amsterdam, pp. 139–156.

    Google Scholar 

13. K.M. van Hee and P.A.C. Verkoulen, Integration of a Data Model and Petri Nets, in Proceedings of the 12th International Conference on Applications and Theory of Petri Nets, Aarhus, June 1991, pp. 410–431.

    Google Scholar 

14. P. Hubner, A.M. Jensen, L.O. Jepsen, and K. Jensen, Reachability trees for high level Petri nets, Theoretical Computer Science, 45 (1986), pp. 261–292.

    Google Scholar 

15. K. Jensen, Coloured Petri Nets, in Advances in Petri Nets 1986 Part I: Petri Nets, central models and their properties, W. Brauer, W. Reisig, and G. Rozenberg, eds., vol. 254 of Lecture Notes in Computer Science, Springer-Verlag, New York, 1987, pp. 248–299.

    Google Scholar 

16. -, Coloured Petri Nets: A High Level Language for System Design and Analysis, in Advances in Petri Nets 1990, G. Rozenberg, ed., vol. 483 of Lecture Notes in Computer Science, Springer-Verlag, New York, 1990, pp. 342–416.

    Google Scholar 

17. -, Coloured Petri Nets. Basic concepts, analysis methods and practical use., to appear in EATCS monographs on Theoretical Computer Science, Springer-Verlag, New York, 1992.

    Google Scholar 

18. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, On Petri Nets with Stochastic Timing, in Proceedings of the International Workshop on Timed Petri Nets, Torino, 1985, IEEE Computer Society Press, pp. 80–87.

    Google Scholar 

19. M. Ajmone Marsan, G. Balbo, and G. Conte, A Class of Generalised Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems, ACM Transactions on Computer Systems, 2 (1984), pp. 93–122.

    Google Scholar 

20. P. Merlin, A Study of the Recoverability of Computer Systems, PhD thesis, University of California, Irvine, California, 1974.

    Google Scholar 

21. P. Merlin and D.J. Faber, Recoverability of communication protocols, IEEE Transactions on Communication, 24 (1976), pp. 1036–1043.

    Google Scholar 

22. S. Morasca, M. Pezzè, and M. Trubian, Timed High-Level Nets, The Journal of Real-Time Systems, 3 (1991), pp. 165–189.

    Google Scholar 

23. M. Odijk, ITPN analysis of ExSpect specifications with respect to production logistics, Master's thesis, Eindhoven University of Technology, Eindhoven, 1991.

    Google Scholar 

24. C. Ramchandani, Performance Evaluation of Asynchronous Concurrent Systems by Timed Petri Nets, PhD thesis, Massachusetts Institute of Technology, Cambridge, 1973.

    Google Scholar 

25. W. Reisig, Petri nets: an introduction, Prentice-Hall, Englewood Cliffs, 1985.

    Google Scholar 

26. J. Sifakis, Use of Petri Nets for performance evaluation, in Proceedings of the Third International Symposium IFIP W.G. 7.3., Measuring, modelling and evaluating computer systems (Bonn-Bad Godesberg, 1977), H. Beilner and E. Gelenbe, eds., Elsevier Science Publishers, Amsterdam, 1977, pp. 75–93.

    Google Scholar 

27. A. Valmari, Stubborn sets for reduced state space generation, in Proceedings of the 10th International Conference on Applications and Theory of Petri Nets, Bonn, June 1989.

    Google Scholar 

28. W.M. Zuberek, Timed Petri Nets and Preliminary Performance Evaluation, in Proceedings of the 7th annual Symposium on Computer Architecture, vol. 8(3) of Quarterly Publication of ACM Special Interest Group on Computer Architecture, 1980, pp. 62–82.

    Google Scholar 

Download references