Net-based control versus rational control the relation between ITNC vector languages and retional relations

Acta Informatica

Volumn 34, Issue 1, 1997, Pages 23-57

  Keesmaat, N W ^a   Kleijn, H C M ^b  

^a KPN RESEARCH   (Netherlands)

^b LEIDEN UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CONTROL; COMPUTER NETWORKS; MATHEMATICAL MODELS; PETRI NETS; SYNCHRONIZATION; VECTORS;

CONCURRENT SYSTEMS; INDIVIDUAL TOKEN NET CONTROLLER; VECTOR LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0031367566     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050072     Document Type: Article

References (15)

1. Arnold, A.: Synchronized behaviours of processes and rational relations. Acta Inf. 17, 21-29 (1982)
2. Berstel, J.: Transductions and context-free languages. Stuttgart: Teubner 1979
3. Bernardinello, L., De Cindio, F.: A survey of basic net models and modular net classes. In: Rozenberg, G. (ed.) Advances in Petri nets (Lect. Notes Comput. Sci., vol. 609, pp. 304-351) Berlin, Heidelberg, New York: Springer 1992
4. Diekert, V.: Combinatorics on traces (Lect. Notes Comput. Sci., vol. 454) Berlin, Heidelberg, New York: Springer 1992
5. Diekert, V., Rozenberg, G. (eds.): Book of traces. Singapore: World Scientific 1995
6. Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages, and computation. Reading, MA: Addison-Wesley 1979
7. Janicki, R., Lauer, P.E.: Specification and analysis of concurrent systems. The COSY approach (EATCS Monographs on Theoretical Computer Science) Berlin, Heidelberg, New York: Springer 1992
8. Jensen, K.: Coloured Petri nets 1 (EATCS Monographs on Theoretical Computer Science) Berlin, Heidelberg, New York: Springer 1992
9. Keesmaat, N.W., Kleijn, H.C.M., Rozenberg, G.: Vector controlled concurrent systems. Part I: basic classes. Fund. Informa. 13, 275-316 (1990)
10. Keesmaat, N.W., Kleijn, H.C.M., Rozenberg, G.: Vector controlled concurrent systems. Part II: comparisons. Fund. Inform. 14, 1-38 (1991)
11. Keesmaat, N.W., Kleijn, H.C.M.: Restrictions and representations of vector controlled concurrent system behaviours. Technical Report 94-37, Dept. of Computer Science, Leiden University, The Netherlands (1994) to appear in Theor. Comp. Sci.
12. Mazurkiewicz, A.: Basic notions of trace theory. In: De Bakker, J.W., De Roever, W.-P., Rozenberg, G. (eds.) Linear time, branching time and partial orders in logics and models for concurrency (Lect. Notes Comput. Sci., Vol. 354, pp. 285-363) Berlin, Heidelberg, New York: Springer 1989
13. Nivat, M.: Behaviours of processes and synchronized systems of processes. In: Broy, M., Schmidt, G. (eds.) Theoretical Foundations of Programming Methodology, pp. 473-551. Dordrecht: Reidel 1982
14. Reisig, W.: Petri nets. An introduction. (EATCS Monographs on Theoretical Computer Science) Berlin. Heidelberg, New York: Springer 1985
15. Zielonka, W.: Notes of finite asynchronous automata. RAIRO Inf. Theoret. Appl. 21, 99-135 (1987)