Process-Translatable Petri Nets for the Rapid Prototyping of Process Control Systems

IEEE Transactions on Software Engineering

Volumn SE-12, Issue 2, 1986, Pages 346-357

  Bruno, Giorgio ^a   Marchetto, Giuseppe ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

Ada; Petri nets; process control systems; rapid prototyping; requirements specification; simulation synchronizations

Indexed keywords

COMPUTER AIDED MANUFACTURING; COMPUTER PROGRAMMING LANGUAGES - ADA; COMPUTER SOFTWARE;

FLEXIBLE MANUFACTURING SYSTEMS; PETRI NETS; PROT NETS;

PROCESS CONTROL;

EID: 0022670962     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1986.6312948     Document Type: Article

References (39)

1. M. Ajmone Marsan, G. Balbo, and G. Conte, “A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,” ACM Trans. Comput. Syst., vol. 2, pp. 93–122, May 1984.
2. M. Ajmone Marsan, “A software tool for the automatic analysis of generalized stochastic Petri net models,” in Proc. 1st Int. Conf. Modeling Techniques and Tools for Performance Analysis, Paris, May 1984.
3. M. W. Alford, “A requirements engineering methodology for real-time time processing requirements,” IEEE Trans. Software Eng., vol. SE-3, 3, pp. 60–69, Jan. 1977.
4. M. W. Alford, “SREM at the age of eight: The distributed computing design system,” Computer, vol. 18, pp. 36–46, Apr. 1985.
5. R. Balzer, T. E. Cheatham, and C. Green, “Software technology in the 1990’s: Using a new paradigm,” Computer, vol. 16, pp. 39–45, Nov. 1983.
6. T. E. Bell, D. C. Bixler, and M. E. Dyer, “An extendable approach to computer-aided software requirements engineering,” IEEE Trans. Software Eng., vol. SE-3, pp. 49–59, Jan. p.
7. G. M. Birtwistle et al., Simula Begin. New York: Van Nostrand Reinhold, 1979.
8. G. Bruno and E. Canuto, “Simulation of production systems with DESFOR,” in Efficiency of Manufacturing Systems (NATO Conf. Series, vol. 14), B. Wilson, C. C. Berg, and D. French, Eds. New York: Plenum, 1983, pp. 203–216.
9. G. Bruno, “Using Ada for discrete event simulation,” Software Practice and Experience, vol. 14, pp. 685–695, July 1984.
10. G. Bruno and P. Biglia, “Performance evaluation and validation of tool handling in flexible manufacturing systems using Petri nets,” in Proc. Int. Workshop Timed Petri Nets, Torino, Italy, July 1985, pp. 64–71.
11. G. Bruno and G. Marchetto, “A methodology based on highlevel Petri nets for the specification and the design of control systems,” in Proc. 3rd Int. Workshop Software Specification and Design, London, Aug. 1985.
12. G. Bruno and G. Marchetto, “Rapid prototyping of control systems using high-level Petri nets,” in Proc. 8th Int. Conf. Software Eng., London, Aug. 1985.
13. G. Bruno and G. Marchetto, “An integrated software production environment for automation systems,” in Proc. IEEE COMPSAC 1985, Chicago, Oct. 1985.
14. A. T. Clementson, “Extended control and simulation language,” Comput. J., vol. 9, pp. 215–220,1966.
15. J. F. Coolahan and N. Roussopoulos, “Timing requirements for time-driven driven systems using augmented Petri nets,” IEEE Trans. Software Eng., vol. SE-9, pp. 603–616, Sept. 1983.
16. C. G. Davis and C. R. Vick, “The software development system,” IEEE Trans. Software Eng., vol. SE-3, pp. 69–84, Jan. p.
17. M. Diaz, “Modelling and analysis of communication and cooperation protocols using Petri net based models,” Comput. Networks, vol. 6, pp. 419–441, June 1982.
18. L. E. Druffel, S. T. Redwine, Jr., and W. E. Riddle, “The STARS program: Overview and rationale,” Computer, vol. 16, pp. 21–30, Nov. 1983.
19. H. J. Genrich and K. Lautenbach, “System modelling with high-level Petri nets,” Theoretical Comput. Sci., vol. 13, pp. 109–136,1981.
20. G. Gordon, The Application of GPSS V to Discrete System Simulation. Englewood Cliffs, NJ: Prentice-Hall, 1975.
21. P. J. Kiviat, R. Villanueva, and H. M. Marcowitz, The SIMSCRIPT 11.5 Programming-Language. Englewood Cliffs, NJ: Prentice-Hall, 1968.
22. K. Jensen, “Coloured Petri nets and the invariant-method,” Theoretical Comput. Sci., vol. 14, pp. 317–336,1981.
23. M. K. Molloy, “Discrete time stochastic Petri nets,” IEEE Trans. Software Eng., vol. SE-11, pp. 417–423, Apr. 1985.
24. R. A. Nelson, L. M. Haibt, and P. B. Sheridan, “Casting Petri nets into programs,” IEEE Trans. Software Eng., vol. SE-9, pp. 590–602, Sept. 1983.
25. D. C. Pedgen and A. A. B. Pritsker, SLAM: Simulation Language for alternative modelling,” Simulation, vol. 33, pp. 145–157, Nov. 1979.
26. J. L. Peterson, Petri Net Theory and the Modelling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
27. A. A. B. Pritsker, The GASP IV Simulation Language. New York: Wiley-Interscience, 1974.
28. A. A. B. Pritsker, Modelling and Analysis Using Q-GERT Networks, 2nd ed. New York: Halsted, 1979.
29. C. V. Ramamoorty and G. S. Ho, “Performance evaluation of asynchronous concurrent systems using Petri nets,” IEEE Trans. Software Eng., vol. SE-6, pp. 440–449, Sept. 1980.
30. D. T. Ross and K. E. Schoman, Jr., “Structured analysis for requirements definition,” IEEE Trans. Software Eng., vol. SE-3, pp. 6–15, Jan. 1977.
31. D. T. Ross, “Structured analysis (SA): A language for communicating ideas,” IEEE Trans. Software Eng., vol. SE-3, pp. 16–34, Jan. p.
32. D. T. Ross, “Applications and extensions of SADT,” Computer, vol. 18, pp. 25–35, Apr. 1985.
33. D. Teichroew and E. A. Hershey, “PSL/PSA: A computer aided technique for structured documentation and analysis of information processing systems,” IEEE Trans. Software Eng., vol. SE-3, pp. 41–48, Jan. 1977.
34. K. Voss, “Using predicate/transition net to model and analyze distributed database systems,” IEEE Trans. Software Eng., vol. 6, pp. 539–544, Nov. 1980.
35. P. Wegner, “Capital intensive software technology. Part 2: programming in the large,” IEEE Software, pp. 24–32, July 1984.
36. S. Yau and M. Caglayan, “Distributed software systems design representation using modified Petri nets,” IEEE Trans. Software Eng., vol. 6, pp. 733–745, Nov. 1983.
37. P. Zave, “An operational approach to requirements specification for embedded systems,” IEEE Trans. Software Eng., vol. SE-8, pp. 250–269, May 1982.
38. P. Zave, “The operational versus the conventional approach to software development,” Commun. ACM, vol. 27, pp. 104–118, Feb. ‘1984.
39. Reference Manual for the Ada Programming Language, ANSI/MIL-STD 1815A, Jan. 1983.