Found 126 Documents (Results 1–100)
Adjunct partial array token Petri net structure. (English) Zbl 1528.68255
Barneva, Reneta P. (ed.) et al., Combinatorial image analysis. 21st international workshop, IWCIA 2022, Messina, Italy, July 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13348, 189-203 (2023).
Avoiding exponential explosion in Petri net models of control flows. (English) Zbl 1499.68227
Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 261-277 (2022).
Transformation of variants of Petri nets into context-dependent fusion grammars. (English) Zbl 1487.68139
Triangular array token Petri net and P system. (English) Zbl 07437063
Freund, Rudolf (ed.) et al., Membrane computing. 21st international conference, CMC 2020, virtual event, September 14–18, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12687, 78-93 (2021).
MSC:
68Q07
3D-array token Petri nets generating tetrahedral picture languages. (English) Zbl 1482.68154
Lukić, Tibor (ed.) et al., Combinatorial image analysis. 20th international workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12148, 88-105 (2020).
Open Petri nets. (English) Zbl 1457.68177
Reviewer: Hirokazu Nishimura (Tsukuba)
Narrowing down the hardness barrier of synthesizing elementary net systems. (English) Zbl 1520.68100
Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 16, 15 p. (2018).
Graph-token Petri nets. (English) Zbl 1423.68305
Coverability problem of asynchronous multi-process timed automata. (Chinese. English summary) Zbl 1389.68045
Finding the shortest path in stochastic graphs using learning automata and adaptive stochastic Petri nets. (English) Zbl 1377.68153
Petri net synthesis. (English) Zbl 1351.68003
Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 978-3-662-47966-7/hbk; 978-3-662-47967-4/ebook). xiii, 339 p. (2015).
Reviewer: Jörg Desel (Hagen)
Modeling quantitative aspects of concurrent systems using weighted Petri net transducers. (English) Zbl 1432.68313
Devillers, Raymond (ed.) et al., Application and theory of Petri nets and concurrency. 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21–26, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9115, 49-76 (2015).
Groups whose word problem is a Petri net language. (English) Zbl 1432.20023
Shallit, Jeffrey (ed.) et al., Descriptional complexity of formal systems. 17th international workshop, DCFS 2015, Waterloo, ON, Canada, June 25–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9118, 243-255 (2015).
On weighted Petri net transducers. (English) Zbl 1410.68255
Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 233-252 (2014).
Rectangular arrays and Petri nets. (English) Zbl 1377.68149
Barneva, Reneta P. (ed.) et al., Combinatorial image analysis. 15th international workshop, IWCIA 2012, Austin, TX, USA, November 28–30, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-34731-3/pbk). Lecture Notes in Computer Science 7655, 166-180 (2012).
Petri net languages revisited. (English) Zbl 1247.68190
Reviewer: Yves Métivier (Bordeaux)
MSC:
68Q85
Vector team automata. (English) Zbl 1252.68205
Reviewer: Maciej Koutny (Newcastle upon Tyne)
Populations of interacting automata. (Russian. English summary) Zbl 1524.68167
An algebraic approach to revising propositional rule-based knowledge bases. (English) Zbl 1147.68731
MSC:
68T35
Petri nets. 2nd ed. (Petri-Netze.) (German) Zbl 1143.68054
eXamen.press. Berlin: Springer (ISBN 978-3-540-76970-5/pbk). ix, 374 p. (2008).
Reviewer: Jörg Desel (Eichstätt)
Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets. (English) Zbl 1182.68138
A net model of knowledge representation for expert systems. (Russian) Zbl 1081.68100
Reviewer: Andrei Zemskov (Moskva)
Software engineering 1. Abstraction and modelling. (English) Zbl 1095.68020
Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 3-540-21149-7/hbk). xxxix, 711 p. (2006).
Reviewer: Tudor Bălănescu (Pitesti)
Methods for behavior descriptions of structure-complex Petri nets. (English) Zbl 1260.68280
MSC:
68Q85
Theoretical computer science. Petri nets. (Theoretische Informatik. Petri-Netze.) (German) Zbl 1137.68452
Springer-Lehrbuch. Berlin: Springer (ISBN 3-540-44289-8). ix, 376 p. (2003).
Study of knowledge representation and acquisition based on fuzzy coloured Petri net. (Chinese. English summary) Zbl 1008.68128
Fail-safe VHDL descriptions of Petri net specifications. (English) Zbl 1018.68056
Adamski, Marian (ed.) et al., Proceedings of the international workshop on discrete-event system design. DESDes ’01, Przytok near Zielona Góra, Poland, June 27-29, 2001. Zielona Góra: TU of Zielona Góra, Computer Engineering and Electronics Institute. 223-228 (2001).
Automatic HDL generation for a DES codec for an encrypted NFS server based on extended Petri net. (English) Zbl 1019.68069
Adamski, Marian (ed.) et al., Proceedings of the international workshop on discrete-event system design. DESDes ’01, Przytok near Zielona Góra, Poland, June 27-29, 2001. Zielona Góra: TU of Zielona Góra, Computer Engineering and Electronics Institute. 61-66 (2001).
A rigorous design methodology for reprogrammable logic controllers. (English) Zbl 1018.68053
Adamski, Marian (ed.) et al., Proceedings of the international workshop on discrete-event system design. DESDes ’01, Przytok near Zielona Góra, Poland, June 27-29, 2001. Zielona Góra: TU of Zielona Góra, Computer Engineering and Electronics Institute. 53-60 (2001).
A note on decidability of reachability for conditional Petri nets. (English) Zbl 0953.68101
Reviewer: Jörg Desel (Karlsruhe)
Fuzzy Petri nets for knowledge modelling in expert systems. (English) Zbl 0947.68107
Cardoso, Janette (ed.) et al., Fuzziness in Petri nets. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 22, 300-318 (1999).
The design of knowledge bases through hierarchical fuzzy Petri nets. (English) Zbl 0947.68105
Cardoso, Janette (ed.) et al., Fuzziness in Petri nets. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 22, 255-275 (1999).
M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages. (English) Zbl 0917.68160
Net-based control versus rational control: The relation between ITNC vector languages and rational relations. (English) Zbl 0865.68082
Reviewer: H.C.M.Kleijn (Leiden)
Deterministic weak-and-marked Petri net languages are regular. (English) Zbl 0867.93009
Reviewer: Y.M.El-Fattah (Santa Monica)
Representation of fuzzy knowledge bases using Petri nets: Operation in the truth space. (English) Zbl 0859.68111
MSC:
68T35
Linear logic automata. (English) Zbl 0859.68021
Supervisory control of deterministic Petri nets with regular specification languages. (English) Zbl 0867.93045
Reviewer: G.J.Olsder (Delft)
Lagrange stability and boundedness of discrete event systems. (English) Zbl 0849.93051
Reviewer: E.De Santis (L’Aquila)
A high level net approach for discovering potential inconsistencies in fuzzy knowledge bases. (English) Zbl 0846.68097
MSC:
68T35
Relationship between Petri net languages’ classes \(L^ 0\) and \(T^ 0\) in the case of \(\lambda\)-nonconsideration. (English) Zbl 0826.68087
MSC:
68Q85
A note on deciding the controllability of a language \(K\) with respect to a language \(L\). (English) Zbl 0771.68078
Selective Petri net languages. (English) Zbl 0761.68053
Software process simulation on arbitrary levels of abstraction. (English) Zbl 0795.68044
Computational systems analysis, Proc. 4th Int. Symp. Syst. Anal. Simulation, Berlin/Ger. 1992, 439-444 (1992).
Real time computer systems ’91. Automation and leading systems in the nineties. (Prozeßrechensysteme ’91. Automatisierungs- und Leitsysteme in den neunziger Jahren. Berlin, 25.-27. Februar 1991. Proceedings.) (German) Zbl 0825.68102
Informatik-Fachberichte. 269. Berlin etc.: Springer-Verlag. XIV, 449 p. (1991).
Conditional Petri net languages. (English) Zbl 0727.68082
Reviewer: K.Atanassov (Sofia)
Relationships between classes of Petri net languages. (English) Zbl 0753.68076
Reviewer: F.-L.Tiplea (Iaşi)
Properties of languages of the logical system simulation. (Russian. English summary) Zbl 0719.68051
A refinement of the matching extension operations. (English) Zbl 0792.68124
An. Ştiinţ. Univ. Al. I. Cuza Iaşi, Ser. Nouă, Mat. 35, No. 4, Inf., 343-351 (1989).
Matching extensions for Petri net languages. (English) Zbl 0792.68123
An. Ştiinţ. Univ. Al. I. Cuza Iaşi, Ser. Nouă, Mat. 35, No. 4, Inf., 337-342 (1989).
Infinitary partial Petri net languages and their relationship to other Petri net semantics. (English) Zbl 0671.68028
Advances in Petri nets, APN, Proc. 8th Eur. Workshop, Zaragoza/Spain 1987, Lect. Notes Comput. Sci. 340, 227-248 (1988).
Reviewer: L.Steiger
Some consequences of the decidability of the reachability problem for Petri nets. (English) Zbl 0667.68070
Advances in Petri nets, APN, Proc. 8th Eur. Workshop, Zaragoza/Spain 1987, Lect. Notes Comput. Sci. 340, 266-282 (1988).
Weighted basic Petri nets. (English) Zbl 0663.68073
Concurrency ’88, Proc. Int. Conf., Hamburg/FRG 1988, Lect. Notes Comput. Sci. 335, 257-276 (1988).
MSC:
68Q85
68Q05
Sieci Petri. Podstawy-Zastosowania-Teoria. (Petri nets. Foundations- applications-theories.) (Polish) Zbl 0691.68004
Warszawa: Państwowe Wydawnictwo Naukowe. 149 p. zł 240.00 (1987).
Dyc\(k_ 1\)-reductions of context-free languages. (English) Zbl 0642.68134
Fundamentals of computation theory, Proc. Int. Conf., Kazan/USSR 1987, Lect. Notes Comput. Sci. 278, 218-227 (1987).
MSC:
68Q45
Closure properties of deterministic Petri nets. (English) Zbl 0635.68062
STACS 87, Theoretical aspects of computer science, Proc. 4th annu. Symp., Passau/FRG 1987, Lect. Notes Comput. Sci. 247, 371-382 (1987).
MSC:
68Q85
Trace theory. (English) Zbl 0633.68051
Petri nets: applications and relationships to other models of concurrency, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 255, 279-324 (1987).
Reviewer: M.Jantzen
Petri net languages and one-sided Dyck-reductions on context-free sets. (English) Zbl 0629.68075
Concurrency and nets. Advances in Petri nets, 245-252 (1987).
Language theory of Petri nets. (English) Zbl 0629.68064
Petri nets: central models and their properties, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 254, 397-412 (1987).
On the lattice of input languages of terminating super-nets. (English) Zbl 0635.68061
Dep. Math., Karl Marx Univ. Econ., Budapest 1986-4, 22-27 (1986).
On basic Petri nets and their languages. (English) Zbl 0617.68072
Algebra, combinatorics and logic in computer science, Colloq. Györ/Hung. 1983, Vol. 1, Colloq. Math. Soc. János Bloyai 42, 87-96 (1986).
A logical formalism for the study of the finite behaviour of Petri nets. (English) Zbl 0613.68028
Advances in Petri nets, Sel. Pap. 6th Eur. Workshop Appl. Theory Petri Nets, Espoo/Finl. 1985, Lect. Notes Comput. Sci. 222, 346-361 (1986).
Some equivalence notions for concurrent systems. An overview. (English) Zbl 0611.68037
Advances in Petri nets, Sel. Pap. 6th Eur. Workshop Appl. Theory Petri Nets, Espoo/Finl. 1985, Lect. Notes Comput. Sci. 222, 381-400 (1986).
Net processes correspond to derivation processes in graph grammars. (English) Zbl 0607.68058
Reviewer: W.Kwasowiec
The residue of vector sets with applications to decidability problems in Petri nets. (English) Zbl 0613.68029
Advances in Petri nets 1984, Lect. Notes Comput. Sci. 188, 234-258 (1985).
Reviewer: J.-J.Ch.Meyer
MSC:
68Q85
A logical approach of Petri net languages. (English) Zbl 0605.68049
Reviewer: D.Cristea
Discrete event-dynamic systems for modeling dynamic valued nets. (English) Zbl 0597.93002
Reviewer: H.Yutani
Concurrent behaviour: Sequences, processes and axioms. (English) Zbl 0565.68019
Concurrency, Semin. Pittsburgh/Pa. 1984, Lect. Notes Comput. Sci. 197, 221-245 (1985).
MSC:
68N25
Petri nets. (Seti Petri). (Russian) Zbl 0606.68052
Moskva: “Nauka” Glavnaya Redaktsiya Fiziko-Matematicheskoj Literatury. 160 p. R. 1.80 (1984).
Petri net theory and the modeling of systems. (Teoriya setej Petri i modelirovanie sistem). Transl. from the English. (Russian) Zbl 0598.68048
Moskva: Izdatel’stvo ”Mir”. 264 p. R. 1.70 (1984).
Traces, histories, graphs: instances of a process monoid. (English) Zbl 0577.68061
Mathematical foundations of computer science, Proc. 11th Symp., Praha/Czech. 1984, Lect. Notes Comput. Sci. 176, 115-133 (1984).
A formal model of programs. (English. Russian original) Zbl 0566.68055
Program. Comput. Software 10, 117-121 (1984); translation from Programmirovanie 1984, No. 3, 16-20 (1984).
Reviewer: J.Olszewski
Towards a hierarchy of nets. (English) Zbl 0565.68057
Reviewer: H.Müller
Concurrent behaviour: Sequences, processes and axioms. (English) Zbl 0547.68056
Arbeitspapiere der GMD 118. St. Augustin: GMD. 27 p. (1984).
Filter Results by …
Document Type
- Journal Articles (75)
- Collection Articles (36)
- Books (15)
all
top 5
Author
- Jantzen, Matthias (9)
- Starke, Peter H. (6)
- Țiplea, Ferucio Laurențiu (6)
- Kleijn, Jetty (5)
- Thomas, Durairaj Gnanaraj (5)
- Best, Eike (4)
- Giua, Alessandro (4)
- Pelz, Elisabeth (4)
- Rozenberg, Grzegorz (4)
- Bagyinszkiné-Orosz, Anna (3)
- Jucan, Toader (3)
- Kalyani, Thiyagarajan (3)
- Masalagiu, Cristian (3)
- Mazurkiewicz, Antoni W. (3)
- Petersen, Holger (3)
- Pham Tra An (3)
- Valk, Rüdiger (3)
- Yoeli, Michael (3)
- Bagyinszki, János (2)
- Bhuvaneswari, Kasi (2)
- Darondeau, Philippe (2)
- Etzion, Tuvi (2)
- Gaubert, Stéphane (2)
- Goeman, Henk J. M. (2)
- Grabowski, Jan (2)
- Groenewegen, Luuk P. J. (2)
- Kreowski, Hans-Jörg (2)
- Kudlek, Manfred (2)
- Lorenz, Robert G. (2)
- Parigot, Michel (2)
- Peterson, James L. (2)
- Pham Van Thao (2)
- Priese, Lutz (2)
- Rangarajan, Krishnan (2)
- Sasikala, K. R. (2)
- Wimmel, Harro (2)
- Zetzsche, Georg (2)
- Adamski, Marian (1)
- Bădărău, Cristina (1)
- Badouel, Eric (1)
- Baez, John C. (1)
- Bai, Jianshe (1)
- Barro, Senén (1)
- Barylska, Kamila (1)
- Berezovskaya, Yu. V. (1)
- Bernardinello, Luca (1)
- Beulah, Immanuel (1)
- Bjørner, Dines (1)
- Bugarín, Alberto (1)
- Burgess, Kevin L. (1)
- Burkhard, Hans-Dieter (1)
- Buza, M. K. (1)
- Camargo, Heloisa A. (1)
- Crespi Reghizzi, Stefano (1)
- Čulik, Karel (1)
- Czaja, Ludwik (1)
- Dai, Guozhong (1)
- Dassow, Jürgen (1)
- DiCesare, Frank (1)
- Donatelli, Susanna (1)
- Dong, Haiying (1)
- Ehrenfeucht, Andrzej (1)
- Ene, Cristian (1)
- Enitha Dorothy, G. (1)
- Erofeev, Evgeny (1)
- Esnaashari, Mehdi (1)
- Farwer, Berndt (1)
- Fatkhi, D. V. (1)
- Favrel, Joël (1)
- Fay, Alexander (1)
- Fraczak, Wojciech (1)
- Gabarró, Joaquim (1)
- Girault, Claude (1)
- Gomide, Fernando A. C. (1)
- Gruhn, Volker (1)
- Henderson, Peter B. (1)
- Holloway, Lawrence E. (1)
- Hommel, Günter (1)
- Hoogeboom, Hendrik Jan (1)
- Hoogers, P. W. (1)
- Hopkins, Richard P. (1)
- Huber, Markus Q. (1)
- Janssens, Dirk (1)
- Jensen, Kurt (1)
- Kannamma, S. (1)
- Kanovich, Max Iosifovich (1)
- Kawamoto, Pauline Naomi (1)
- Keesmaat, N. W. (1)
- Kemper, Peter (1)
- Khomenko, Victor (1)
- Kiehn, Astrid (1)
- Klaudel, Hanna (1)
- Kluge, Werner E. (1)
- Kotov, Vadim E. (1)
- Koutny, Maciej (1)
- Kumar, Ratnesh (1)
- Kurbatskiĭ, Aleksandr Nikolaevich (1)
- Kuske, Sabine (1)
- Kyng, Morten (1)
- Lafortune, Stéphane (1)
- and 68 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (10)
- IEEE Trans. Autom. Control (5)
- Inf. Process. Lett. (4)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (3)
- J. Inf. Process. Cybern. (3)
- Acta Inf. (2)
- Acta Cybern. (2)
- J. Comput. Syst. Sci. (2)
- Inf. Comput. (2)
- Discrete Event Dyn. Syst. (2)
- Elektron. Informationsverarbeitung Kybernetik (2)
- Vietnam J. Math. (2)
- Fundam. Inform. (2)
- Inf.-Fachber. (2)
- Texts Theor. Comput. Sci., EATCS Ser. (2)
- Discrete Appl. Math. (1)
- Dokl. Akad. Nauk Ukr. SSR, Ser. A (1)
- Int. J. Gen. Syst. (1)
- Period. Math. Hung. (1)
- Acta Math. Vietnam. (1)
- Fuzzy Sets Syst. (1)
- Inf. Sci. (1)
- J. Assoc. Comput. Mach. (1)
- Program. Comput. Softw. (1)
- RAIRO, Inf. Théor. (1)
- Perform. Eval. (1)
- J. Xi’an Jiaotong Univ. (1)
- Ann. Pure Appl. Logic (1)
- J. Comb. Math. Comb. Comput. (1)
- Math. Struct. Comput. Sci. (1)
- IEEE Trans. Softw. Eng. (1)
- IEEE Trans. Syst. Man Cybern. (1)
- Int. J. Comput. Math. (1)
- RAIRO, Inform. Théor. Appl. (1)
- Mathware Soft Comput. (1)
- Izv. Vyssh. Uchebn. Zaved., Sev.-Kavk. Reg., Estestv. Nauki (1)
- J. Autom. Lang. Comb. (1)
- Wuhan Univ. J. Nat. Sci. (1)
- Int. J. Uncertain. Fuzziness Knowl.-Based Syst. (1)
- J. Softw. (1)
- South East Asian J. Math. Math. Sci. (1)
- J. Control Theory Appl. (1)
- Sci. China, Ser. F (1)
- Seminarber., Humboldt-Univ. Berlin, Sekt. Math. (1)
- Arb.pap. GMD (1)
- Methods Oper. Res. (1)
- Prikl. Diskretn. Mat. (1)
- Springer-Lehrb. (1)
all
top 5
Year of Publication
- 2024 (1)
- 2023 (1)
- 2022 (2)
- 2021 (2)
- 2020 (4)
- 2018 (2)
- 2017 (3)
- 2015 (3)
- 2014 (1)
- 2012 (3)
- 2011 (1)
- 2010 (1)
- 2008 (4)
- 2006 (1)
- 2005 (3)
- 2004 (1)
- 2003 (1)
- 2001 (5)
- 2000 (2)
- 1999 (6)
- 1998 (1)
- 1997 (2)
- 1996 (5)
- 1995 (2)
- 1994 (3)
- 1993 (3)
- 1992 (2)
- 1991 (3)
- 1990 (3)
- 1989 (2)
- 1988 (3)
- 1987 (7)
- 1986 (5)
- 1985 (5)
- 1984 (6)
- 1983 (8)
- 1982 (3)
- 1981 (5)
- 1980 (3)
- 1979 (5)
- 1978 (3)
