1. Deussen, P.: Description of Processes. Proceedings of the ECI73 (Davos), pp. 11–17. North- Holland 1974.
2. Petri, C. A.: Grundsätzliches zur Beschreibung diskreter Prozesse. In: 3. Colloquium über Automatentheorie, Oktober 1965, Hannover (Händler, W., Peschl, E., Unger, H., Hrsg.). Basel: Birkhäuser 1967.
3. Sifakis, J.: Modeies temporeis des Systemes Logiques. These docteur ingenieur informatique, Universite de Grenoble, 1974.
4. Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. PhD Thesis, Department of Electrical Engineering, MIT, Cambridge, Mass., 1973.
5. Even, S., Meyer, A. R.: Sequential Boolean Equations. Trans. IEEE on Computers 18, 230–240 (1969).