Kang, Jiawen; Bai, Yunjun; Jiao, Li Abstraction-based incremental inductive coverability for Petri nets. (English) Zbl 1489.68162 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 379-398 (2021). MSC: 68Q85 68Q60 68W05 PDF BibTeX XML Cite \textit{J. Kang} et al., Lect. Notes Comput. Sci. 12734, 379--398 (2021; Zbl 1489.68162) Full Text: DOI OpenURL
Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta Adding a/sync places to the synthesis procedure for whole-place operations nets with localities. (English) Zbl 1424.68106 Sci. Ann. Comput. Sci. 27, No. 2, 177-212 (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Kleijn} et al., Sci. Ann. Comput. Sci. 27, No. 2, 177--212 (2017; Zbl 1424.68106) Full Text: DOI OpenURL
Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta; Rozenberg, Grzegorz Applying regions. (English) Zbl 1355.68192 Theor. Comput. Sci. 658, Part A, 205-215 (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Kleijn} et al., Theor. Comput. Sci. 658, Part A, 205--215 (2017; Zbl 1355.68192) Full Text: DOI OpenURL
Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta Synthesis of Petri nets with whole-place operations and localities. (English) Zbl 1422.68171 Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 103-120 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Kleijn} et al., Lect. Notes Comput. Sci. 9965, 103--120 (2016; Zbl 1422.68171) Full Text: DOI Link OpenURL
Dworzanski, Leonid W.; Lomazova, Irina A. Structural place invariants for analyzing the behavioral properties of nested Petri nets. (English) Zbl 1346.68130 Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 325-344 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. W. Dworzanski} and \textit{I. A. Lomazova}, Lect. Notes Comput. Sci. 9698, 325--344 (2016; Zbl 1346.68130) Full Text: DOI OpenURL
Čapkovič, František Timed and hybrid Petri nets at solving problems of computational intelligence. (English) Zbl 1413.68072 Comput. Inform. 34, No. 4, 746-778 (2015). MSC: 68Q85 68T42 90B06 90B30 93C30 93C65 PDF BibTeX XML Cite \textit{F. Čapkovič}, Comput. Inform. 34, No. 4, 746--778 (2015; Zbl 1413.68072) OpenURL
Heiner, Monika; Schwarick, Martin; Wegener, Jan-Thierry Charlie – an extensible Petri net analysis tool. (English) Zbl 1432.68309 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, 200-211 (2015). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{M. Heiner} et al., Lect. Notes Comput. Sci. 9115, 200--211 (2015; Zbl 1432.68309) Full Text: DOI OpenURL
Hujsa, Thomas; Delosme, Jean-Marc; Munier-Kordon, Alix On the reversibility of well-behaved weighted choice-free systems. (English) Zbl 1410.68251 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, 334-353 (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{T. Hujsa} et al., Lect. Notes Comput. Sci. 8489, 334--353 (2014; Zbl 1410.68251) Full Text: DOI HAL OpenURL
Cabasino, Maria Paola; Lafortune, Stéphane; Seatzu, Carla Optimal sensor selection for ensuring diagnosability in labeled Petri nets. (English) Zbl 1364.93453 Automatica 49, No. 8, 2373-2383 (2013). MSC: 93C65 90B25 93B07 90C10 PDF BibTeX XML Cite \textit{M. P. Cabasino} et al., Automatica 49, No. 8, 2373--2383 (2013; Zbl 1364.93453) Full Text: DOI OpenURL
Kleijn, Jetty; Koutny, Maciej; Pietkiewicz-Koutny, Marta Regions of Petri nets with a/sync connections. (English) Zbl 1267.68156 Theor. Comput. Sci. 454, 189-198 (2012). Reviewer: Krassimir Atanassov (Sofia) MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Kleijn} et al., Theor. Comput. Sci. 454, 189--198 (2012; Zbl 1267.68156) Full Text: DOI OpenURL
Kleijn, Jetty; Koutny, Maciej Localities in systems with a/sync communication. (English) Zbl 1238.68099 Theor. Comput. Sci. 429, 185-192 (2012). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Kleijn} and \textit{M. Koutny}, Theor. Comput. Sci. 429, 185--192 (2012; Zbl 1238.68099) Full Text: DOI OpenURL
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc Place-boundedness for vector addition systems with one zero-test. (English) Zbl 1245.68131 Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 192-203, electronic only (2010). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{R. Bonnet} et al., LIPIcs -- Leibniz Int. Proc. Inform. 8, 192--203 (2010; Zbl 1245.68131) Full Text: DOI Link OpenURL
Cabasino, Maria Paola; Giua, Alessandro; Seatzu, Carla Fault detection for discrete event systems using Petri nets with unobservable transitions. (English) Zbl 1201.93074 Automatica 46, No. 9, 1531-1539 (2010). MSC: 93C65 94C12 PDF BibTeX XML Cite \textit{M. P. Cabasino} et al., Automatica 46, No. 9, 1531--1539 (2010; Zbl 1201.93074) Full Text: DOI Link OpenURL
Kleijn, Jetty; Koutny, Maciej Petri nets with localities and testing. (English) Zbl 1285.68106 Lilius, Johan (ed.) et al., Applications and theory of Petri nets. 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13674-0/pbk). Lecture Notes in Computer Science 6128, 19-38 (2010). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Kleijn} and \textit{M. Koutny}, Lect. Notes Comput. Sci. 6128, 19--38 (2010; Zbl 1285.68106) Full Text: DOI OpenURL
Asperti, A.; Busi, N. Mobile Petri nets. (English) Zbl 1191.68427 Math. Struct. Comput. Sci. 19, No. 6, 1265-1278 (2009). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Asperti} and \textit{N. Busi}, Math. Struct. Comput. Sci. 19, No. 6, 1265--1278 (2009; Zbl 1191.68427) Full Text: DOI OpenURL
Lorenz, Robert; Juhás, Gabriel; Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian Executability of scenarios in Petri nets. (English) Zbl 1172.68044 Theor. Comput. Sci. 410, No. 12-13, 1190-1216 (2009). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Lorenz} et al., Theor. Comput. Sci. 410, No. 12--13, 1190--1216 (2009; Zbl 1172.68044) Full Text: DOI OpenURL
Diaz, Michel (ed.) Petri nets. Fundamental models, verification and applications. (English) Zbl 1183.68398 Control Systems, Robotics and Manufacturing Series. London: ISTE (ISBN 978-1-8482-1079-0/hbk). xxv, 585 p. (2009). MSC: 68Q85 68-06 00B15 PDF BibTeX XML Cite \textit{M. Diaz} (ed.), Petri nets. Fundamental models, verification and applications. London: ISTE (2009; Zbl 1183.68398) OpenURL
Lee, Gi Bum; Lee, Jin S. Generating Petri net state equation with firing condition functions. (English) Zbl 1057.68068 Syst. Anal. Modelling Simulation 43, No. 5, 557-561 (2003). MSC: 68Q85 PDF BibTeX XML Cite \textit{G. B. Lee} and \textit{J. S. Lee}, Syst. Anal. Modell. Simul. 43, No. 5, 557--561 (2003; Zbl 1057.68068) Full Text: DOI OpenURL
Durchholz, Reiner A generic causal model for place latency. (English) Zbl 1061.68112 Theor. Comput. Sci. 289, No. 1, 1-49 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Durchholz}, Theor. Comput. Sci. 289, No. 1, 1--49 (2002; Zbl 1061.68112) Full Text: DOI OpenURL
Giua, Alessandro; Seatzu, Carla Design observers/controllers for discrete event systems using Petri nets. (English) Zbl 1037.93057 Caillaud, Benoît (ed.) et al., Synthesis and control of discrete event systems. Boston: Kluwer Academic Publishers (ISBN 0-7923-7639-0). 167-182 (2002). Reviewer: Bohumil František Šmarda (Brno) MSC: 93C65 93B07 68Q85 PDF BibTeX XML Cite \textit{A. Giua} and \textit{C. Seatzu}, in: Synthesis and control of discrete event systems. Boston: Kluwer Academic Publishers. 167--182 (2002; Zbl 1037.93057) OpenURL
Czaja, Ludwik Place/transition Petri net evolutions: Recording ways, analysis and synthesis. (English) Zbl 1003.68101 Fundam. Inform. 51, No. 1-2, 43-58 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. Czaja}, Fundam. Inform. 51, No. 1--2, 43--58 (2002; Zbl 1003.68101) OpenURL
Droste, Manfred; Shortt, R. M. From Petri nets to automata with concurrency. (English) Zbl 1002.68099 Appl. Categ. Struct. 10, No. 2, 173-191 (2002). MSC: 68Q85 18B20 PDF BibTeX XML Cite \textit{M. Droste} and \textit{R. M. Shortt}, Appl. Categ. Struct. 10, No. 2, 173--191 (2002; Zbl 1002.68099) Full Text: DOI OpenURL
Padberg, Julia; Ehrig, Hartmut; Rozenberg, Grzegorz Behavior and realization construction for Petri nets based on free monoid and power set graphs. (English) Zbl 1017.68079 Ehrig, Hartmut (ed.) et al., Unifying Petri nets. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 2128, 230-249 (2001). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Padberg} et al., Lect. Notes Comput. Sci. 2128, 230--249 (2001; Zbl 1017.68079) Full Text: Link OpenURL
Kindler, E.; Völzer, H. Algebraic nets with flexible arcs. (English) Zbl 0992.68145 Theor. Comput. Sci. 262, No. 1-2, 285-310 (2001). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Kindler} and \textit{H. Völzer}, Theor. Comput. Sci. 262, No. 1--2, 285--310 (2001; Zbl 0992.68145) Full Text: DOI OpenURL
Gribaudo, M.; Sereno, M.; Horváth, A.; Bobbio, A. Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis. (English) Zbl 0972.93040 Discrete Event Dyn. Syst. 11, No. 1-2, 97-117 (2001). Reviewer: Bernd Mathiszik (Halle) MSC: 93C65 68Q85 93A30 93C23 94C15 PDF BibTeX XML Cite \textit{M. Gribaudo} et al., Discrete Event Dyn. Syst. 11, No. 1--2, 97--117 (2001; Zbl 0972.93040) Full Text: DOI OpenURL
Retchkiman, Zvi Stability and stabilization techniques for discrete event systems modeled by coloured Petri nets. (English) Zbl 1050.93053 Int. J. Appl. Math. 3, No. 2, 209-220 (2000). Reviewer: Seenith Sivasundaram (Daytona Beach) MSC: 93C65 93D05 PDF BibTeX XML Cite \textit{Z. Retchkiman}, Int. J. Appl. Math. 3, No. 2, 209--220 (2000; Zbl 1050.93053) OpenURL
Farwer, Berndt Linear logic based calculi for object Petri nets. (English) Zbl 0979.68064 Berlin: Logos-Verlag. Hamburg: Univ. Hamburg, Fachbereich Informatik (Thesis 2000), iii, 187 p. (1999). Reviewer: Damas Gruska (Bratislava) MSC: 68Q85 03B70 03F52 PDF BibTeX XML Cite \textit{B. Farwer}, Linear logic based calculi for object Petri nets. Berlin: Logos-Verlag; Hamburg: Univ. Hamburg, Fachbereich Informatik (Thesis 2000) (1999; Zbl 0979.68064) OpenURL
Sreenivas, Ramavarapu S. On supervisory policies that enforce liveness in completely controlled Petri nets with directed cut-places and cut-transitions. (English) Zbl 0955.93031 IEEE Trans. Autom. Control 44, No. 6, 1221-1225 (1999). MSC: 93C65 93A13 68Q85 PDF BibTeX XML Cite \textit{R. S. Sreenivas}, IEEE Trans. Autom. Control 44, No. 6, 1221--1225 (1999; Zbl 0955.93031) Full Text: DOI Link OpenURL
Bieber, Burkhard; Fleischhack, Hans Model checking of time Petri nets based on partial order semantics. (English) Zbl 0940.68090 Baeten, Jos C. M. (ed.) et al., CONCUR ’99. Concurrency theory. 10th international conference, Eindhoven, the Netherlands, August 24-27, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1664, 210-225 (1999). MSC: 68Q85 PDF BibTeX XML Cite \textit{B. Bieber} and \textit{H. Fleischhack}, Lect. Notes Comput. Sci. 1664, 210--225 (1999; Zbl 0940.68090) OpenURL
Kindler, Ekkart; Völzer, Hagen Flexibility in algebraic nets. (English) Zbl 07631072 Desel, Jörg (ed.) et al., Application and theory of Petri nets 1998. 19th international conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1420, 345-364 (1998). MSC: 68Q85 68Q60 68W15 PDF BibTeX XML Cite \textit{E. Kindler} and \textit{H. Völzer}, Lect. Notes Comput. Sci. 1420, 345--364 (1998; Zbl 07631072) Full Text: DOI OpenURL
Silva, Manuel; Teruel, Enrique; Colom, José Manuel Linear algebraic and linear programming techniques for the analysis of place/transition net systems. (English) Zbl 0926.68086 Reisig, Wolfgang (ed.) et al., Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 1491, 309-373 (1998). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Silva} et al., Lect. Notes Comput. Sci. 1491, 309--373 (1998; Zbl 0926.68086) OpenURL
Desel, Jörg Basic linear algebraic techniques for place/transition nets. (English) Zbl 0926.68085 Reisig, Wolfgang (ed.) et al., Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 1491, 257-308 (1998). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Desel}, Lect. Notes Comput. Sci. 1491, 257--308 (1998; Zbl 0926.68085) OpenURL
Desel, Jörg; Reisig, Wolfgang Place/transition Petri nets. (English) Zbl 0926.68083 Reisig, Wolfgang (ed.) et al., Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 1491, 122-173 (1998). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Desel} and \textit{W. Reisig}, Lect. Notes Comput. Sci. 1491, 122--173 (1998; Zbl 0926.68083) OpenURL
Bruni, Roberto; Montanari, Ugo Zero-safe nets, or transition synchronization made simple. (English) Zbl 0911.68149 Palamidessi, C. (ed.) et al., EXPRESS ’97. Papers from the conference, Santa Margherita Ligure, Italy, September 8–12, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 7, 20 p. (1997). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Bruni} and \textit{U. Montanari}, in: EXPRESS '97. Papers from the conference, Santa Margherita Ligure, Italy, September 8--12, 1997. Amsterdam: Elsevier. 20 p. (1997; Zbl 0911.68149) Full Text: Link OpenURL
Katis, Piergiulio; Sabadini, N.; Walters, R. F. C. Representing place/transition nets in Span(Graph). (English) Zbl 0885.18005 Johnson, Michael (ed.), Algebraic methodology and software technology. 6th international conference, AMAST ’97, Sidney, Australia, December 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1349, 322-336 (1997). MSC: 18D10 68Q85 68Q10 PDF BibTeX XML Cite \textit{P. Katis} et al., Lect. Notes Comput. Sci. 1349, 322--336 (1997; Zbl 0885.18005) OpenURL
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro On the semantics of place/transition Petri nets. (English) Zbl 0876.68072 Math. Struct. Comput. Sci. 7, No. 4, 359-397 (1997). MSC: 68Q55 PDF BibTeX XML Cite \textit{J. Meseguer} et al., Math. Struct. Comput. Sci. 7, No. 4, 359--397 (1997; Zbl 0876.68072) Full Text: DOI OpenURL
Teruel, Enrique; Silva, Manuel Structure theory of equal conflict systems. (English) Zbl 0872.68132 Theor. Comput. Sci. 153, No. 1-2, 271-300 (1996). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. Teruel} and \textit{M. Silva}, Theor. Comput. Sci. 153, No. 1--2, 271--300 (1996; Zbl 0872.68132) Full Text: DOI OpenURL
Meseguer, José; Montanari, Ugo; Sassone, Vladimiro Process versus unfolding semantics for Place/Transition Petri nets. (English) Zbl 0872.68130 Theor. Comput. Sci. 153, No. 1-2, 171-210 (1996). MSC: 68Q85 68Q55 68Q10 PDF BibTeX XML Cite \textit{J. Meseguer} et al., Theor. Comput. Sci. 153, No. 1--2, 171--210 (1996; Zbl 0872.68130) Full Text: DOI OpenURL
Desel, J.; Neuendorf, K.-P.; Radola, M.-D. Proving nonreachability by modulo-invariants. (English) Zbl 0872.68131 Theor. Comput. Sci. 153, No. 1-2, 49-64 (1996). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Desel} et al., Theor. Comput. Sci. 153, No. 1--2, 49--64 (1996; Zbl 0872.68131) Full Text: DOI OpenURL
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo Axiomatizing the algebra of net computations and processes. (English) Zbl 0849.68087 Acta Inf. 33, No. 7, 641-667 (1996). MSC: 68Q85 18D10 PDF BibTeX XML Full Text: DOI OpenURL
Kovalyov, Andrei An \(O(|S|\times|T|)\)-algorithm to verify if a net is regular. (English) Zbl 1418.68150 Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 366-379 (1996). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Kovalyov}, Lect. Notes Comput. Sci. 1091, 366--379 (1996; Zbl 1418.68150) Full Text: DOI OpenURL
Kondratyev, Alex; Kishinevsky, Michael; Taubin, Alexander; Ten, Sergei A structural approach for the analysis of Petri nets by reduced unfoldings. (English) Zbl 1418.68149 Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 346-365 (1996). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Kondratyev} et al., Lect. Notes Comput. Sci. 1091, 346--365 (1996; Zbl 1418.68149) Full Text: DOI OpenURL
Knaup, Werner A new iterative numerical solution algorithm for a class of stochastic Petri nets. (English) Zbl 1418.68148 Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 327-345 (1996). MSC: 68Q85 68Q87 PDF BibTeX XML Cite \textit{W. Knaup}, Lect. Notes Comput. Sci. 1091, 327--345 (1996; Zbl 1418.68148) Full Text: DOI OpenURL
Barkaoui, Kamel; Pradat-Peyre, Jean-François On liveness and controlled siphons in Petri nets. (English) Zbl 1418.68131 Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 57-72 (1996). MSC: 68Q85 PDF BibTeX XML Cite \textit{K. Barkaoui} and \textit{J.-F. Pradat-Peyre}, Lect. Notes Comput. Sci. 1091, 57--72 (1996; Zbl 1418.68131) Full Text: DOI OpenURL
Murata, Tadao Temporal uncertainty and fuzzy-timing high-level Petri nets. (English) Zbl 1418.68152 Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 11-28 (1996). MSC: 68Q85 PDF BibTeX XML Cite \textit{T. Murata}, Lect. Notes Comput. Sci. 1091, 11--28 (1996; Zbl 1418.68152) Full Text: DOI OpenURL
Gold, Robert A compositional dataflow semantics for Petri nets. (English) Zbl 0831.68070 Acta Inf. 32, No. 7, 627-645 (1995). Reviewer: R.Gold MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{R. Gold}, Acta Inf. 32, No. 7, 627--645 (1995; Zbl 0831.68070) Full Text: DOI OpenURL
Basten, Twan; Voorhoeve, Marc An algebraic semantics for hierarchical P/T nets. (English) Zbl 1496.68214 De Michelis, Giorgio (ed.) et al., Application and theory of Petri nets 1995. 16th international conference, Turin, Italy, June 26–30, 1995. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 935, 45-65 (1995). MSC: 68Q85 68Q55 68Q60 PDF BibTeX XML Cite \textit{T. Basten} and \textit{M. Voorhoeve}, Lect. Notes Comput. Sci. 935, 45--65 (1995; Zbl 1496.68214) Full Text: DOI OpenURL
Jensen, Kurt Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 2. (English) Zbl 0865.68084 EATCS Monographs on Theoretical Computer Science. Berlin: Springer-Verlag. viii, 174 p. (1995). MSC: 68Q85 68-01 PDF BibTeX XML Cite \textit{K. Jensen}, Coloured Petri nets. Basic concepts, analysis methods and practical use. Vol. 2. Berlin: Springer-Verlag (1995; Zbl 0865.68084) OpenURL
Corradini, Andrea; Montanari, Ugo; Rossi, Francesca An abstract machine for concurrent modular systems: CHARM. (English) Zbl 0801.68055 Theor. Comput. Sci. 122, No. 1-2, 165-200 (1994). MSC: 68Q10 68Q60 68Q42 PDF BibTeX XML Cite \textit{A. Corradini} et al., Theor. Comput. Sci. 122, No. 1--2, 165--200 (1994; Zbl 0801.68055) Full Text: DOI OpenURL
Reisig, Wolfgang A primer in Petri net design. (English) Zbl 0760.68057 Springer Compass International. Berlin etc.: Springer-Verlag. XII, 120 p. (1992). Reviewer: F.-L.Tiplea (Iaşi) MSC: 68Q85 68Q10 68-02 PDF BibTeX XML Cite \textit{W. Reisig}, A primer in Petri net design. Berlin etc.: Springer-Verlag (1992; Zbl 0760.68057) OpenURL
Stotts, P. David; Godfrey, Parke Place/transition nets with debit arcs. (English) Zbl 0743.68107 Inf. Process. Lett. 41, No. 1, 25-33 (1992). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. D. Stotts} and \textit{P. Godfrey}, Inf. Process. Lett. 41, No. 1, 25--33 (1992; Zbl 0743.68107) Full Text: DOI OpenURL
Mukund, Madhavan Petri nets and step transition systems. (English) Zbl 0774.68086 Int. J. Found. Comput. Sci. 3, No. 4, 443-478 (1992). Reviewer: R.Janicki (Hamilton / Ontario) MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{M. Mukund}, Int. J. Found. Comput. Sci. 3, No. 4, 443--478 (1992; Zbl 0774.68086) Full Text: DOI OpenURL
Starke, P. H. Reachability analysis of Petri nets using symmetries. (English) Zbl 0733.68059 Syst. Anal. Modelling Simulation 8, No. 4-5, 293-303 (1991). Reviewer: K.Atanassov (Sofia) MSC: 68Q85 PDF BibTeX XML Cite \textit{P. H. Starke}, Syst. Anal. Modell. Simul. 8, No. 4--5, 293--303 (1991; Zbl 0733.68059) OpenURL
Barbeau, Michel; Bochmann, Gregor V. Extension of the Karp and Miller procedure to Lotos specifications. (English) Zbl 0797.68106 Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 103-119 (1991). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{M. Barbeau} and \textit{G. V. Bochmann}, in: Computer-aided verification '90. Proceedings of a 2nd DIMACS workshop, June 18-21, 1990, Rutgers Univ., New Brunswick, NJ, USA. Providence, RI: American Mathematical Society; New York, NY: Association for Computing Machinery. 103--119 (1991; Zbl 0797.68106) OpenURL
Jančar, Petr Decidability of a temporal logic problem for Petri nets. (English) Zbl 0701.68081 Theor. Comput. Sci. 74, No. 1, 71-93 (1990). MSC: 68Q85 03B25 03B45 PDF BibTeX XML Cite \textit{P. Jančar}, Theor. Comput. Sci. 74, No. 1, 71--93 (1990; Zbl 0701.68081) Full Text: DOI OpenURL
Gold, Robert; Vogler, Walter Quality criteria for partial order semantics of place/transition-nets. (English) Zbl 0741.68080 Mathematical foundations of computer science, Proc. 15th Symp., MFCS ’90, Banská Bystrica/Czech. 1990, Lect. Notes Comput. Sci. 452, 306-312 (1990). Reviewer: R.Janicki (Hamilton / Ontario) MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{R. Gold} and \textit{W. Vogler}, Lect. Notes Comput. Sci. None, 306--312 (1990; Zbl 0741.68080) OpenURL
Degano, Pierpaolo; Meseguer, José; Montanari, Ugo Axiomatizing net computations and processes. (English) Zbl 0722.68085 Logic in computer science, Proc. 4th Annual Symp., Pacific Grove/CA (USA) 1989, 175-185 (1989). Reviewer: K.Atanassov (Sofia) MSC: 68Q85 68Q10 PDF BibTeX XML OpenURL
Ochmański, Edward Semi-commutation for place/transition systems. (English) Zbl 0684.68079 Bull. EATCS 38, 191-198 (1989). MSC: 68Q85 03D03 PDF BibTeX XML Cite \textit{E. Ochmański}, Bull. EATCS 38, 191--198 (1989; Zbl 0684.68079) OpenURL
Olderog, E. R. Strong bisimilarity on nets: a new concept for comparing net semantics. (Technical contribution). (English) Zbl 0683.68070 Linear time, branching time and partial order in logics and models for concurrency, Proc. Workshop, Noordwijkerhout/NL 1988, Lect. Notes Comput. Sci. 354, 549-573 (1989). Reviewer: N.Curteanu MSC: 68Q55 68N25 68Q85 68Q65 PDF BibTeX XML OpenURL
Jojczyk, K.; Konieczny, J.; Kuzak, T. On interleaving behaviour of PT-nets. (English) Zbl 0679.68118 Theor. Comput. Sci. 64, No. 1, 25-38 (1989). MSC: 68Q85 PDF BibTeX XML Cite \textit{K. Jojczyk} et al., Theor. Comput. Sci. 64, No. 1, 25--38 (1989; Zbl 0679.68118) Full Text: DOI OpenURL
Hirshfeld, J.; Rabinovich, A.; Trakhtenbrot, B. A. Discerning causality in interleaving behavior. (English) Zbl 0677.68006 Logic at Botik, Proc. Symposium on logical foundations of computer science, Pereslavl-Zalessky/USSR 1989, Lect. Notes Comput. Sci. 363, 146-162 (1989). MSC: 68Q60 68Q85 68Q55 68N25 PDF BibTeX XML OpenURL
Mazurkiewicz, Antoni Concurrency, modularity, and synchronization. (English) Zbl 0755.68098 Mathematical foundations of computer science, Proc. 14th Symp., MFCS ’89, Porąbka-Kozubnik/Pol. 1989, Lect. Notes Comput. Sci. 379, 577-598 (1989). MSC: 68Q55 68Q85 68Q10 PDF BibTeX XML Cite \textit{A. Mazurkiewicz}, Lect. Notes Comput. Sci. None, 577--598 (1989; Zbl 0755.68098) OpenURL
Ţiplea, F. Reversible and strict reversible P/T-systems. (English) Zbl 0688.68061 An. Științ. Univ. Al. I. Cuza Iași, N. Ser., Secț. Ia 34, No. 4, 319-327 (1988). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{F. Ţiplea}, An. Științ. Univ. Al. I. Cuza Iași, N. Ser., Secț. Ia 34, No. 4, 319--327 (1988; Zbl 0688.68061) OpenURL
Silva, M.; Colom, J. M. On the computation of structural synchronic invariants in P/T nets. (English) Zbl 0668.68070 Advances in Petri nets, APN, Proc. 8th Eur. Workshop, Zaragoza/Spain 1987, Lect. Notes Comput. Sci. 340, 386-417 (1988). MSC: 68Q85 90C05 68Q25 PDF BibTeX XML OpenURL
Baumgarten, Bernd On internal and external characterizations of PT-net building block behaviour. (English) Zbl 0667.68071 Advances in Petri nets, APN, Proc. 8th Eur. Workshop, Zaragoza/Spain 1987, Lect. Notes Comput. Sci. 340, 44-61 (1988). MSC: 68Q85 PDF BibTeX XML OpenURL
Mazurkiewicz, Antoni Compositional semantics of pure place/transition systems. (English) Zbl 0661.68060 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 11, No. 4, 331-356 (1988). Reviewer: M.Jantzen MSC: 68Q85 68N01 68Q55 06A06 PDF BibTeX XML Cite \textit{A. Mazurkiewicz}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 11, No. 4, 331--356 (1988; Zbl 0661.68060) OpenURL
Winkowski, Józef Event structure representation of the behaviour of place/transition systems. (English) Zbl 0657.68067 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 11, No. 4, 405-432 (1988). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Winkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 11, No. 4, 405--432 (1988; Zbl 0657.68067) OpenURL
Zelewski, Stephan Netztheoretische Fundierung von parallelen Algorithmen zur Bestimmung von Lösungen für linear-ganzzahlige OR-Modelle ohne Extremalziele. (Parallel algorithms based on net theory for calculating the solutons of linear-integer OR-models without goals to be minimized or maximized). (German) Zbl 0648.90057 Angew. Inf. 30, No. 8, 352-362 (1988). MSC: 90C10 90C05 65K05 PDF BibTeX XML Cite \textit{S. Zelewski}, Angew. Inform. 30, No. 8, 352--362 (1988; Zbl 0648.90057) OpenURL
Özsu, M. Tamer; Wong, Kok-Lung; Koon, Tse-Men System modelling and analysis using Petri nets. (English) Zbl 0647.68114 Syst. Anal., Modelling Simulation 5, No. 1, 3-25 (1988). MSC: 68U20 68Q85 68N99 PDF BibTeX XML Cite \textit{M. T. Özsu} et al., Syst. Anal. Modell. Simul. 5, No. 1, 3--25 (1988; Zbl 0647.68114) OpenURL
Murata, T.; Matsuyama, K. Inconsistency check of a set of clauses using Petri net reductions. (English) Zbl 0641.68080 J. Franklin Inst. 325, No. 1, 73-93 (1988). MSC: 68Q85 68T15 68Q65 PDF BibTeX XML Cite \textit{T. Murata} and \textit{K. Matsuyama}, J. Franklin Inst. 325, No. 1, 73--93 (1988; Zbl 0641.68080) Full Text: DOI OpenURL
Lautenbach, Kurt Linear algebraic calculation of deadlocks and traps. (English) Zbl 0641.68081 Concurrency and nets. Advances in Petri nets, 315-336 (1987). MSC: 68Q85 68R10 PDF BibTeX XML OpenURL
Taa, M. Quantitative analysis of a resource allocation problem: a net theory based proposal. (English) Zbl 0641.68011 Concurrency and nets. Advances in Petri nets, 511-532 (1987). MSC: 68N99 68Q85 PDF BibTeX XML OpenURL
Fuss, Hans Numerical simulations with place/transactor-nets. (English) Zbl 0636.68073 Concurrency and nets. Advances in Petri nets, 187-199 (1987). MSC: 68Q85 65C10 PDF BibTeX XML OpenURL
Olderog, Ernst-Rüdiger Operational Petri net semantics for CCSP. (English) Zbl 0636.68072 Advances in Petri nets, 7th Eur. Workshop, Oxford/U.K. 1986, Lect. Notes Comput. Sci. 266, 196-223 (1987). MSC: 68Q85 68N25 PDF BibTeX XML OpenURL
Krückeberg, Fritz; Jaxy, Michael Mathematical methods for calculating invariants in Petri nets. (English) Zbl 0636.68071 Advances in Petri nets, 7th Eur. Workshop, Oxford/U.K. 1986, Lect. Notes Comput. Sci. 266, 104-131 (1987). MSC: 68Q85 15A06 15B36 PDF BibTeX XML OpenURL
Roucairol, Gérard FIFO-nets. (English) Zbl 0636.68070 Petri nets: central models and their properties, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 254, 436-459 (1987). MSC: 68Q85 68N25 PDF BibTeX XML OpenURL
Silva, M. Towards a synchrony theory for P/T nets. (English) Zbl 0635.68060 Concurrency and nets. Advances in Petri nets, 435-460 (1987). Reviewer: R.Janicki MSC: 68Q85 68Q65 PDF BibTeX XML OpenURL
Reisig, Wolfgang Place/transition systems. (English) Zbl 0635.68056 Petri nets: central models and their properties, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 254, 117-141 (1987). MSC: 68Q85 PDF BibTeX XML OpenURL
Berthelot, G. Transformations and decompositions of nets. (English) Zbl 0634.68061 Petri nets: central models and their properties, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 254, 359-376 (1987). Reviewer: L.Şerbănaţi MSC: 68Q85 PDF BibTeX XML OpenURL
Goltz, Ursula On condition/event representations of place/transition systems. (English) Zbl 0634.68059 Concurrency and nets. Advances in Petri nets, 217-231 (1987). Reviewer: D.Cristea MSC: 68Q85 PDF BibTeX XML OpenURL
Lautenbach, Kurt Linear algebraic techniques for place/transition nets. (English) Zbl 0633.68056 Petri nets: central models and their properties, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 254, 142-167 (1987). MSC: 68Q85 PDF BibTeX XML OpenURL
Best, Eike Structure theory of Petri nets: the free choice hiatus. (English) Zbl 0633.68055 Petri nets: central models and their properties, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 254, 168-205 (1987). MSC: 68Q85 PDF BibTeX XML OpenURL
Jensen, Kurt Coloured Petri nets. (English) Zbl 0632.68058 Petri nets: central models and their properties, Proc. Adv. Course, Bad Honnef/FRG 1986, Lect. Notes Comput. Sci. 254, 248-299 (1987). Reviewer: H.Müller MSC: 68Q85 PDF BibTeX XML OpenURL
Narahari, Y.; Viswanadham, N. On the invariants of coloured Petri nets. (English) Zbl 0611.68035 Advances in Petri nets, Sel. Pap. 6th Eur. Workshop Appl. Theory Petri Nets, Espoo/Finl. 1985, Lect. Notes Comput. Sci. 222, 330-345 (1986). MSC: 68Q85 PDF BibTeX XML OpenURL
Zakrevskij, A. D. About the realization of safe Petri nets by sequential automata. (Russian. English summary) Zbl 0604.68069 Dokl. Akad. Nauk BSSR 30, 120-123 (1986). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. D. Zakrevskij}, Dokl. Akad. Nauk BSSR 30, 120--123 (1986; Zbl 0604.68069) OpenURL
Tazza, Maurizio Ein netztheoretisches Modell zur quantitativen Analyse von Systemen (Q- Modell). (German) Zbl 0611.90057 Ber. Ges. Math. Datenverarb., Bonn 149, 135 S. (1985). Reviewer: H.Fuss MSC: 90B35 90C35 68Q85 93B99 90B10 68U20 PDF BibTeX XML OpenURL
Reisig, Wolfgang Petri nets. An introduction. Transl. from the German. (English) Zbl 0555.68033 EATCS Monographs on Theoretical Computer Science, 4. Berlin etc.: Springer-Verlag. X, 161 p. DM 69.00 (1985). Reviewer: W.Kwasowiec MSC: 68Q85 68-01 PDF BibTeX XML OpenURL
Rangarajan, K.; Shyamasundar, R. K. Parallel rewriting systems and Petri nets. (English) Zbl 0622.68051 J. Comb. Inf. Syst. Sci. 9, 133-150 (1984). MSC: 68Q85 68Q42 68Q45 PDF BibTeX XML Cite \textit{K. Rangarajan} and \textit{R. K. Shyamasundar}, J. Comb. Inf. Syst. Sci. 9, 133--150 (1984; Zbl 0622.68051) OpenURL
Skarbińska, Aleksandra Connection between marking Petri net languages and marking c-graph languages. (English) Zbl 0562.68048 Podstawy Sterowania 14, 19-28 (1984). Reviewer: R.Janicki MSC: 68Q85 68Q45 68N25 PDF BibTeX XML Cite \textit{A. Skarbińska}, Podstawy Sterowania 14, 19--28 (1984; Zbl 0562.68048) OpenURL
Herzog, Otthein; Reisig, Wolfgang; Valk, Ruediger Petri-Netze: ein Abriss ihrer Grundlagen und Anwendungen. I. (German) Zbl 0526.68056 Inf.-Spektrum 7, 20-27 (1984). MSC: 68Q85 68-01 PDF BibTeX XML Cite \textit{O. Herzog} et al., Inform. Spektrum 7, 20--27 (1984; Zbl 0526.68056) OpenURL
Goltz, U.; Reisig, W. The non-sequential behaviour of Petri nets. (English) Zbl 0551.68050 Inf. Control 57, 125-147 (1983). MSC: 68Q85 PDF BibTeX XML Cite \textit{U. Goltz} and \textit{W. Reisig}, Inf. Control 57, 125--147 (1983; Zbl 0551.68050) Full Text: DOI OpenURL
Saukkonen, Samuli A constructive method for the architectural design and correctness verification of real-time programs. (English) Zbl 0526.68008 Acta Polytech. Scand., Math. Comput. Sci. Ser. 40, 122 p. (1983). MSC: 68Q60 68N25 PDF BibTeX XML OpenURL
Goltz, U.; Reisig, W. Processes of place/transition-nets. (English) Zbl 0523.68046 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 264-277 (1983). MSC: 68Q85 PDF BibTeX XML OpenURL
Silva, M. Simplification des réseaux de Petri par elimination de places implicites. (French) Zbl 0466.68046 Digital Processes 6, 245-256 (1980). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Silva}, Digital Processes 6, 245--256 (1980; Zbl 0466.68046) OpenURL