Kleijn, H. C. M.; Koutny, M. Infinite process semantics of inhibitor nets. (English) Zbl 1234.68302 Donatelli, Susanna (ed.) et al., Petri nets and other models of concurrency – ICATPN 2006. 27th international conference on applications and theory of Petri nets and other models of concurrency, Turku, Finland, June 26–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-34699-9/pbk). Lecture Notes in Computer Science 4024, 282-301 (2006). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} and \textit{M. Koutny}, Lect. Notes Comput. Sci. 4024, 282--301 (2006; Zbl 1234.68302) Full Text: DOI
Kleijn, H. C. M.; Koutny, M. Process semantics of general inhibitor nets. (English) Zbl 1101.68699 Inf. Comput. 190, No. 1, 18-69 (2004). MSC: 68Q85 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} and \textit{M. Koutny}, Inf. Comput. 190, No. 1, 18--69 (2004; Zbl 1101.68699) Full Text: DOI
Kleijn, H. C. M.; Koutny, M. Causality semantics of Petri nets with weighted inhibitor arcs. (English) Zbl 1012.68125 Brim, Luboš (ed.) et al., CONCUR 2002 - concurrency theory. 13th international conference, Brno, Czech Republic, August 20-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2421, 531-546 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} and \textit{M. Koutny}, Lect. Notes Comput. Sci. 2421, 531--546 (2002; Zbl 1012.68125) Full Text: Link
Kleijn, H. C. M.; Morin, R.; Rozoy, B. A general categorical connection between local event structures and local traces. (English) Zbl 0945.68138 Ciobanu, Gabriel (ed.) et al., Fundamentals of computation theory. 12th international symposium, FCT ’99. Iaşi, Romania, August 30 - September 3, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1684, 338-349 (1999). MSC: 68Q85 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} et al., Lect. Notes Comput. Sci. 1684, 338--349 (1999; Zbl 0945.68138)
Kleijn, H. C. M.; Morin, R.; Rozoy, B. Event structures for local traces. (English) Zbl 0917.68157 Castellani, Ilaria (ed.) et al., EXPRESS ’98. 5th international workshop on Expressiveness in concurrency, Nice, France, September 7, 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 16.2, electronic paper No. 5 (1998). MSC: 68Q85 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} et al., in: EXPRESS '98. 5th international workshop on Expressiveness in concurrency, Nice, France, September 7, 1998. Amsterdam: Elsevier. electronic paper No. 5 (1998; Zbl 0917.68157) Full Text: Link
Keesmaat, N. W.; Kleijn, H. C. M. Restrictions and representations of vector controlled concurrent system behaviours. (English) Zbl 0901.68068 Theor. Comput. Sci. 179, No. 1-2, 61-102 (1997). MSC: 68Q10 PDF BibTeX XML Cite \textit{N. W. Keesmaat} and \textit{H. C. M. Kleijn}, Theor. Comput. Sci. 179, No. 1--2, 61--102 (1997; Zbl 0901.68068) Full Text: DOI
Keesmaat, N. W.; Kleijn, H. C. M. Net-based control versus rational control: The relation between ITNC vector languages and rational relations. (English) Zbl 0865.68082 Acta Inf. 34, No. 1, 23-57 (1997). Reviewer: H.C.M.Kleijn (Leiden) MSC: 68Q85 68Q10 68Q45 PDF BibTeX XML Cite \textit{N. W. Keesmaat} and \textit{H. C. M. Kleijn}, Acta Inf. 34, No. 1, 23--57 (1997; Zbl 0865.68082) Full Text: DOI
Hoogers, P. W.; Kleijn, H. C. M.; Thiagarajan, P. S. An event structure semantics for general Petri nets. (English) Zbl 0872.68126 Theor. Comput. Sci. 153, No. 1-2, 129-170 (1996). MSC: 68Q85 68Q55 68Q45 PDF BibTeX XML Cite \textit{P. W. Hoogers} et al., Theor. Comput. Sci. 153, No. 1--2, 129--170 (1996; Zbl 0872.68126) Full Text: DOI
Hoogers, P. W.; Kleijn, H. C. M.; Thiagarajan, P. S. A trace semantics for Petri nets. (English) Zbl 0826.68085 Inf. Comput. 117, No. 1, 98-114 (1995). MSC: 68Q85 68Q55 68Q45 PDF BibTeX XML Cite \textit{P. W. Hoogers} et al., Inf. Comput. 117, No. 1, 98--114 (1995; Zbl 0826.68085) Full Text: DOI
Harju, T.; Keesmaat, N. W.; Kleijn, H. C. M. The intersection problem for alphabetic vector monoids. (English) Zbl 0883.68077 RAIRO, Inform. Théor. Appl. 28, No. 3-4, 295-301 (1994). MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Harju} et al., RAIRO, Inform. Théor. Appl. 28, No. 3--4, 295--301 (1994; Zbl 0883.68077) Full Text: DOI EuDML
Harju, T.; Kleijn, H. C. M.; Latteux, M.; Terlutte, A. Representation of rational functions with prefix and suffix codings. (English) Zbl 0823.68055 Theor. Comput. Sci. 134, No. 2, 403-413 (1994). MSC: 68Q42 68Q45 PDF BibTeX XML Cite \textit{T. Harju} et al., Theor. Comput. Sci. 134, No. 2, 403--413 (1994; Zbl 0823.68055) Full Text: DOI
Harju, T.; Kleijn, H. C. M. Morphisms and rational transducers. (English) Zbl 0848.68055 Bull. EATCS 51, 168-180 (1993). MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Harju} and \textit{H. C. M. Kleijn}, Bull. EATCS 51, 168--180 (1993; Zbl 0848.68055)
Hoogers, P. W.; Kleijn, H. C. M.; Thiagarajan, P. S. A trace semantics for Petri nets (extended abstract). (English) Zbl 1427.68199 Kuich, Werner (ed.), Automata, languages and programming. 19th international colloquium, Wien, Austria, July 13–17, 1992. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 623, 595-604 (1992). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{P. W. Hoogers} et al., Lect. Notes Comput. Sci. 623, 595--604 (1992; Zbl 1427.68199) Full Text: DOI
Harju, T.; Kleijn, H. C. M.; Latteux, M. Deterministic sequential functions. (English) Zbl 0790.68036 Acta Inf. 29, No. 6-7, 545-554 (1992). MSC: 68Q05 68Q45 PDF BibTeX XML Cite \textit{T. Harju} et al., Acta Inf. 29, No. 6--7, 545--554 (1992; Zbl 0790.68036) Full Text: DOI
Harju, T.; Kleijn, H. C. M.; Latteux, M. Compositional representation of rational functions. (English) Zbl 0769.68097 RAIRO, Inform. Théor. Appl. 26, No. 3, 243-255 (1992). Reviewer: P.Turakainen (Oulu) MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Harju} et al., RAIRO, Inform. Théor. Appl. 26, No. 3, 243--255 (1992; Zbl 0769.68097) Full Text: DOI EuDML
Keesmaat, N. W.; Kleijn, H. C. M.; Rozenberg, G. Vector controlled concurrent systems. II: Comparisons. (English) Zbl 0718.68036 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 1, 1-38 (1991). MSC: 68Q10 PDF BibTeX XML Cite \textit{N. W. Keesmaat} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 1, 1--38 (1991; Zbl 0718.68036)
Harju, T.; Kleijn, H. C. M. Decidability problems for unary output sequential transducers. (English) Zbl 0743.68098 Discrete Appl. Math. 32, No. 2, 131-140 (1991). Reviewer: P.Turakainen (Oulu) MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Harju} and \textit{H. C. M. Kleijn}, Discrete Appl. Math. 32, No. 2, 131--140 (1991; Zbl 0743.68098) Full Text: DOI
Keesmaat, N. W.; Kleijn, H. C. M.; Rozenberg, G. Vector controlled concurrent systems. I: Basic classes. (English) Zbl 0713.68024 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 13, No. 3, 275-316 (1990). Reviewer: M.Val’ev MSC: 68Q10 68Q85 PDF BibTeX XML Cite \textit{N. W. Keesmaat} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 13, No. 3, 275--316 (1990; Zbl 0713.68024)
Harju, T.; Kleijn, H. C. M. Cardinality problems of compositions of morphisms and inverse morphisms. (English) Zbl 0685.68065 Math. Syst. Theory 22, No. 3, 151-159 (1989). MSC: 68Q45 20F10 08A50 03D40 PDF BibTeX XML Cite \textit{T. Harju} and \textit{H. C. M. Kleijn}, Math. Syst. Theory 22, No. 3, 151--159 (1989; Zbl 0685.68065) Full Text: DOI
Kleijn, H. C. M. Basic ideas of selective substitution grammars. (English) Zbl 0637.68085 Trends, techniques, and problems in theoretical computer science, 4th Int. Meet. Young Comput. Sci., Smolenice/Czech. 1986, Lect. Notes Comput. Sci. 281, 75-95 (1987). MSC: 68Q45 PDF BibTeX XML
Harju, T.; Karhumäki, J.; Kleijn, H. C. M. On morphic generation of regular languages. (English) Zbl 0604.68084 Discrete Appl. Math. 15, 55-60 (1986). Reviewer: G.Păun MSC: 68Q45 PDF BibTeX XML Cite \textit{T. Harju} et al., Discrete Appl. Math. 15, 55--60 (1986; Zbl 0604.68084) Full Text: DOI
Ehrenfeucht, A.; Kleijn, H. C. M.; Rozenberg, G. Adding global forbidding context to context-free grammars. (English) Zbl 0603.68078 Theor. Comput. Sci. 37, 337-360 (1985). MSC: 68Q45 PDF BibTeX XML Cite \textit{A. Ehrenfeucht} et al., Theor. Comput. Sci. 37, 337--360 (1985; Zbl 0603.68078) Full Text: DOI
Karhumäki, J.; Kleijn, H. C. M. On the equivalence of compositions of morphisms and inverse morphisms on regular languages. (English) Zbl 0601.68049 RAIRO, Inf. Théor. 19, 203-211 (1985). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Karhumäki} and \textit{H. C. M. Kleijn}, RAIRO, Inf. Théor. 19, 203--211 (1985; Zbl 0601.68049) Full Text: EuDML
Kleijn, H. C. M.; Penttonen, M.; Rozenberg, G.; Salomaa, K. Direction independent context-sensitive grammars. (English) Zbl 0599.68055 Inf. Control 63, 113-117 (1984). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} et al., Inf. Control 63, 113--117 (1984; Zbl 0599.68055) Full Text: DOI
Karhumäki, Juhani; Kleijn, H. C. M. On the equivalence of compositions of morphisms and inverse morphisms on regular languages. (English) Zbl 0555.68023 Mathematical foundations of computer science, Proc. 11th Symp., Praha/Czech. 1984, Lect. Notes Comput. Sci. 176, 355-363 (1984). MSC: 68Q45 20M15 20M35 03D60 PDF BibTeX XML
Goeman, H. J. M.; Groenewegen, L. P. J.; Kleijn, H. C. M.; Rozenberg, G. Constrained Petri nets. II. Generalizations and extensions. (English) Zbl 0582.68031 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 333-374 (1983). MSC: 68Q85 PDF BibTeX XML Cite \textit{H. J. M. Goeman} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 333--374 (1983; Zbl 0582.68031)
Goeman, H. J. M.; Groenewegen, L. P. J.; Kleijn, H. C. M.; Rozenberg, G. Constrained Petri nets. (English) Zbl 0582.68030 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 81-125 (1983). MSC: 68Q85 PDF BibTeX XML Cite \textit{H. J. M. Goeman} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 81--125 (1983; Zbl 0582.68030)
Kleijn, H. C. M.; Rozenberg, G. On the generative power of regular pattern grammars. (English) Zbl 0541.68048 Acta Inf. 20, 391-411 (1983). Reviewer: M.Mizumoto MSC: 68Q45 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} and \textit{G. Rozenberg}, Acta Inf. 20, 391--411 (1983; Zbl 0541.68048) Full Text: DOI
Gonczarowski, J.; Kleijn, H. C. M.; Rozenberg, G. Grammatical constructions in selective substitution grammars. (English) Zbl 0536.68066 Acta Cybern. 6, 239-269 (1983). Reviewer: J.Pittl MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{J. Gonczarowski} et al., Acta Cybern. 6, 239--269 (1983; Zbl 0536.68066)
Gonczarowski, J.; Kleijn, H. C. M.; Rozenberg, G. Closure properties of selective substitution grammars. II. (English) Zbl 0521.68086 Int. J. Comput. Math. 14, 109-135 (1983). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Gonczarowski} et al., Int. J. Comput. Math. 14, 109--135 (1983; Zbl 0521.68086) Full Text: DOI
Gonczarowski, J.; Kleijn, H. C. M.; Rozenberg, G. Closure properties of selective substitution grammars. I. (English) Zbl 0514.68071 Int. J. Comput. Math. 14, 19-42 (1983). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Gonczarowski} et al., Int. J. Comput. Math. 14, 19--42 (1983; Zbl 0514.68071) Full Text: DOI
Kleijn, H. C. M.; Rozenberg, G. Multi grammars. (English) Zbl 0508.68046 Int. J. Comput. Math. 12, 177-201 (1983). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} and \textit{G. Rozenberg}, Int. J. Comput. Math. 12, 177--201 (1983; Zbl 0508.68046) Full Text: DOI
Kleijn, H. C. M.; Rozenberg, G.; Verraedt, R. On the role of blocking in rewriting systems. (English) Zbl 0512.68061 Acta Cybern. 5, 389-408 (1982). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} et al., Acta Cybern. 5, 389--408 (1982; Zbl 0512.68061)
Kleijn, H. C. M.; Rozenberg, G. Corrigendum to ”Sequential, continuous, and parallel grammars”. (English) Zbl 0506.68064 Inf. Control 52, 364 (1982). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} and \textit{G. Rozenberg}, Inf. Control 52, 364 (1982; Zbl 0506.68064) Full Text: DOI
Kleijn, H. C. M.; Rozenberg, G. Sequential, continuous and parallel grammars. (English) Zbl 0469.68080 Inf. Control 48, 221-260 (1981). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} and \textit{G. Rozenberg}, Inf. Control 48, 221--260 (1981; Zbl 0469.68080) Full Text: DOI
Kleijn, H. C. M.; Rozenberg, G. Context-free like restrictions on selective rewriting. (English) Zbl 0469.68079 Theor. Comput. Sci. 16, 237-269 (1981). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} and \textit{G. Rozenberg}, Theor. Comput. Sci. 16, 237--269 (1981; Zbl 0469.68079) Full Text: DOI
Kleijn, H. C. M.; Rozenberg, G. A general framework for comparing sequential and parallel rewriting. (English) Zbl 0468.68084 Mathematical foundations of computer science 1981, Proc. 10th Symp., Strbske Pleso/Czech. 1981, Lect. Notes Comput. Sci. 118, 360-368 (1981). MSC: 68Q45 PDF BibTeX XML
Kleijn, H. C. M.; Rozenberg, G. On the role of selectors in selective substitution grammars. (English) Zbl 0468.68083 Fundamentals of computation theory, Proc. int. FCT-Conf., Szeged/Hung. 1981, Lect. Notes Comput. Sci. 117, 190-198 (1981). MSC: 68Q45 PDF BibTeX XML
Kleijn, H. C. M.; Rozenberg, G. A study in parallel rewriting systems. (English) Zbl 0436.68051 Inf. Control 44, 134-163 (1980). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. C. M. Kleijn} and \textit{G. Rozenberg}, Inf. Control 44, 134--163 (1980; Zbl 0436.68051) Full Text: DOI