| [1] |
Antal, B., (User’s Manual for the df |
| [2] |
Bernardeschi, C.; Bondavalli, A.; Simoncini, L., Data flow control systems: an example of safety validation, (Proc. SAFECOMP’93. Proc. SAFECOMP’93, Poznan, Poland (1993)), 9-20 |
| [3] |
Bondavalli, A.; Simoncini, L., Functional paradigm for designing dependable large-scale parallel computing systems, (Proc. Int. Symp. on Autonomous Decentralized Systems, ISADS ’93. Proc. Int. Symp. on Autonomous Decentralized Systems, ISADS ’93, Kawasaki, Japan (1993)), 108-114 |
| [4] |
Bondavalli, A.; Strigini, L.; Simoncini, L., Data flow-like languages for real-time systems: issues of computational models and notations, (Proc. Int. Symp. on Reliable Distributed Systems, SRDS-11. Proc. Int. Symp. on Reliable Distributed Systems, SRDS-11, Houston, TX (1992)) |
| [5] |
Braek, R.; Haugen, O., Engineering Real Time Systems (1963), Prentice Hall: Prentice Hall Englewood Cliffs, NJ |
| [6] |
Buck, J. T.; Ha, S.; Lee, E. A.; Messerschmitt, D. G., Ptolemy: a framework for simulating and prototyping heterogeneous systems, Int. J. Comput. Simul., 4, 155-182 (1994) |
| [7] |
Csertán, Gy.; Bernardeschi, C.; Bondavalli, A.; Simoncini, L., Analysis of temporal properties of data flow control systems, (Proc. 12th IFAC Workshop on Distributed Computer Control Systems, DCCS-94. Proc. 12th IFAC Workshop on Distributed Computer Control Systems, DCCS-94, Toledo, Spain (1994)), 153-158 |
| [8] |
Hatley, D. J.; Pirbhai, I. A., (Strategies for Real-Time System Specification (1987), Dorset House Publishing Co: Dorset House Publishing Co New York, USA) |
| [9] |
Jensen, K., (Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical use, vol. I: Basic Concepts. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical use, vol. I: Basic Concepts, Monographs in Theoretical Computer Science (1992), Springer: Springer Berlin) · Zbl 0762.68004 |
| [10] |
(Jensen, K.; Rozenberg, G., High Level Petri Nets. Theory and Application (1991), Springer: Springer Berlin) · Zbl 0743.68023 |
| [11] |
Jonsson, B., A fully abstract trace model for data flow networks, (Proc. |
| [12] |
Kahn, G., The semantics of a simple language for parallel programming, (Proc. IFIP ’74 (1974), North Holland: North Holland Amsterdam), 471-475 · Zbl 0299.68007 |
| [13] |
Kalavade, A.; Lee, E. A., A hardware-software codesign methodology for DSP applications, IEEE Design Test Comput., 3, 16-28 (1993) |
| [14] |
Kavi, K. M.; Buckles, B. P.; Bhat, U. N., Isomorphism between Petri nets and data flow graphs, IEEE Trans. Software Engng, 13, 1127-1134 (1987) |
| [15] |
Kopetz, H., Time-triggered vs event triggered real-time systems, (Proc. Workshop Operating Systems of the · Zbl 1050.68503 |
| [16] |
Le Lann, G., Designing real-time dependable distributed systems, (Internal Report, 1425 (1991), INRIA: INRIA Rocquencourt) |
| [17] |
Ciardo, G.; Muppala, J.; Trivedi, K., SPNP: Stochastic Petri Net Package, (Proc. Int. Conf. on Petri Nets and Performance Models. Proc. Int. Conf. on Petri Nets and Performance Models, Kyoto, Japan (1989)) |
| [18] |
Ajmone Marsan, M.; Chiola, G., On Petri nets with deterministic and exponentially distributed firing times, (Rozenberg, G., Advances in Petri Nets 1987. Advances in Petri Nets 1987, Lecture Notes on Computer Science, Vol. 266 (1987), Springer: Springer Berlin), 132-145 |
| [19] |
Majzik, I., On semantics and temporal analysis of data flow networks, (Internal Report (1994), Department of Information Engineering, University of Pisa) |
| [20] |
Saed, A.; de Lemos, R.; Anderson, T., The role of formal methods in the requirements analysis of safety-critical systems: a train set example, (Proc. FTCS-21. Proc. FTCS-21, Montreal, Canada (1991)), 478-485 |
| [21] |
Ward, P.; Mellor, S., (Structured Development for Real-Time Systems (1986), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ) |
