Xie, Wanling; Zhu, Huibiao; Xu, Qiwen A process calculus BigrTiMo of mobile systems and its formal semantics. (English) Zbl 1511.68189 Formal Asp. Comput. 33, No. 2, 207-249 (2021). MSC: 68Q85 68N30 68Q55 68Q60 PDFBibTeX XMLCite \textit{W. Xie} et al., Formal Asp. Comput. 33, No. 2, 207--249 (2021; Zbl 1511.68189) Full Text: DOI
Xie, Wanling; Xiang, Shuangqing; Zhu, Huibiao A UTP approach for rTiMo. (English) Zbl 1425.68304 Formal Asp. Comput. 30, No. 6, 713-738 (2018). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{W. Xie} et al., Formal Asp. Comput. 30, No. 6, 713--738 (2018; Zbl 1425.68304) Full Text: DOI
Lakos, Charles Modelling mobile IP with mobile Petri nets. (English) Zbl 1266.68138 Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency III. Berlin: Springer (ISBN 978-3-642-04854-8/pbk). Lecture Notes in Computer Science 5800. Journal Subline, 127-158 (2009). MSC: 68Q85 68M11 PDFBibTeX XMLCite \textit{C. Lakos}, Lect. Notes Comput. Sci. 5800, 127--158 (2009; Zbl 1266.68138) Full Text: DOI Link
Klaudel, Hanna; Pommereau, Franck M-nets: a survey. (English) Zbl 1178.68366 Acta Inf. 45, No. 7-8, 537-564 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Klaudel} and \textit{F. Pommereau}, Acta Inf. 45, No. 7--8, 537--564 (2008; Zbl 1178.68366) Full Text: DOI HAL
Kryvyy, Sergiy; Matvyeyeva, Lyudmila Algorithm of translation of MSC-specified system into Petri net. (English) Zbl 1124.68072 Fundam. Inform. 79, No. 3-4, 431-445 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{S. Kryvyy} and \textit{L. Matvyeyeva}, Fundam. Inform. 79, No. 3--4, 431--445 (2007; Zbl 1124.68072)
Evangelista, Sami High level Petri nets analysis with Helena. (English) Zbl 1128.68377 Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 455-464 (2005). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{S. Evangelista}, Lect. Notes Comput. Sci. 3536, 455--464 (2005; Zbl 1128.68377) Full Text: DOI
Comet, Jean-Paul; Klaudel, Hanna; Liauzu, Stéphane Modeling multi-valued genetic regulatory networks using high-level Petri nets. (English) Zbl 1128.68376 Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 208-227 (2005). MSC: 68Q85 92B99 PDFBibTeX XMLCite \textit{J.-P. Comet} et al., Lect. Notes Comput. Sci. 3536, 208--227 (2005; Zbl 1128.68376) Full Text: DOI
Thanh, Cécile Bui; Klaudel, Hanna Object-oriented modelling with high-level modular Petri nets. (English) Zbl 1196.68041 Boiten, Eerke A. (ed.) et al., Integrated formal methods. 4th international conference, IFM 2004, Canterbury, UK, April 4–7, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21377-5/pbk). Lecture Notes in Computer Science 2999, 287-306 (2004). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{C. B. Thanh} and \textit{H. Klaudel}, Lect. Notes Comput. Sci. 2999, 287--306 (2004; Zbl 1196.68041) Full Text: DOI
Ojala, Leo; Penttinen, Olli-Matti; Parviainen, Elina Modeling and analysis of Margolus quantum cellular automata using net-theoretical methods. (English) Zbl 1094.68570 Cortadella, Jordi (ed.) et al., Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22236-7/pbk). Lecture Notes in Computer Science 3099, 331-350 (2004). MSC: 68Q10 81P68 68Q80 68Q85 PDFBibTeX XMLCite \textit{L. Ojala} et al., Lect. Notes Comput. Sci. 3099, 331--350 (2004; Zbl 1094.68570) Full Text: DOI
Latvala, Timo; Mäkelä, Marko LTL model checking for modular Petri nets. (English) Zbl 1094.68064 Cortadella, Jordi (ed.) et al., Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22236-7/pbk). Lecture Notes in Computer Science 3099, 298-311 (2004). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{T. Latvala} and \textit{M. Mäkelä}, Lect. Notes Comput. Sci. 3099, 298--311 (2004; Zbl 1094.68064) Full Text: DOI
Kristensen, Lars Michael; Christensen, Søren Implementing coloured Petri nets using a functional programming language. (English) Zbl 1075.68620 High.-Order Symb. Comput. 17, No. 3, 207-243 (2004). MSC: 68Q85 68N18 68N30 PDFBibTeX XMLCite \textit{L. M. Kristensen} and \textit{S. Christensen}, High.-Order Symb. Comput. 17, No. 3, 207--243 (2004; Zbl 1075.68620) Full Text: DOI
Thanh, C. Bui; Klaudel, H.; Pommereau, F. Petri nets with causal time for system verification. (English) Zbl 1270.68179 Vogler, Walter (ed.) et al., MTCS ’02. Proceedings of the 3rd international workshop on models for time-critical systems (CONCUR 2002 satellite workshop), Brno, Czech Republic, August 24, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 5, 85-100 (2003). MSC: 68Q60 68Q85 68Q45 PDFBibTeX XMLCite \textit{C. B. Thanh} et al., Electron. Notes Theor. Comput. Sci. 68, No. 5, 85--100 (2003; Zbl 1270.68179) Full Text: Link
Mäkelä, Marko Model checking safety properties in modular high-level nets. (English) Zbl 1274.68245 van der Aalst, Wil (ed.) et al., Applications and theory of Petri nets 2003. 24th international conference, ICATPN 2003, Einhoven, The Netherlands, June 23–27, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40334-5/pbk). Lecture Notes in Computer Science 2679, 201-220 (2003). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{M. Mäkelä}, Lect. Notes Comput. Sci. 2679, 201--220 (2003; Zbl 1274.68245) Full Text: DOI
Gaeta, R.; Gribaudo, M.; Manini, D.; Sereno, M. On the use of Petri nets for the computation of completion time distribution for short TCP transfers. (English) Zbl 1274.68232 van der Aalst, Wil (ed.) et al., Applications and theory of Petri nets 2003. 24th international conference, ICATPN 2003, Einhoven, The Netherlands, June 23–27, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40334-5/pbk). Lecture Notes in Computer Science 2679, 181-200 (2003). MSC: 68Q85 68M11 68M12 68M20 PDFBibTeX XMLCite \textit{R. Gaeta} et al., Lect. Notes Comput. Sci. 2679, 181--200 (2003; Zbl 1274.68232) Full Text: DOI
Mäkelä, Marko Maria: Modular reachability analyser for algebraic system nets. (English) Zbl 1047.68554 Esparza, Javier (ed.) et al., Application and theory of Petri nets 2002. 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24–30, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43787-8). Lect. Notes Comput. Sci. 2360, 434-444 (2002). MSC: 68N99 68Q85 PDFBibTeX XMLCite \textit{M. Mäkelä}, Lect. Notes Comput. Sci. 2360, 434--444 (2002; Zbl 1047.68554) Full Text: Link
Klaudel, Hanna; Pommereau, Franck A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems. (English) Zbl 1003.68094 Fundam. Inform. 50, No. 1, 33-55 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Klaudel} and \textit{F. Pommereau}, Fundam. Inform. 50, No. 1, 33--55 (2002; Zbl 1003.68094)
Mäkelä, Marko Optimising enabling tests and unfoldings of algebraic system nets. (English) Zbl 0986.68527 Colom, José-Manuel (ed.) et al., Applications and theory of Petri nets 2001. 22nd international conference, ICATPN 2001, Newcastle upon Tyne, GB, June 25-29, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2075, 283-302 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Mäkelä}, Lect. Notes Comput. Sci. 2075, 283--302 (2001; Zbl 0986.68527) Full Text: Link
Mäkelä, Marko Modular reachability analyzer for high-level Petri nets. (English) Zbl 1009.93502 Boel, R. (ed.) et al., Discrete event systems. Analysis and control. Papers from the 5th workshop, WODES 2000, Ghent, Belgium, August 21-23, 2000. Boston: Kluwer Academic Publishers. Kluwer Int. Ser. Eng. Comput. Sci. 569, 477-478 (2000). MSC: 93-04 68Q85 93B03 PDFBibTeX XMLCite \textit{M. Mäkelä}, Kluwer Int. Ser. Eng. Comput. Sci. 569, 477--478 (2000; Zbl 1009.93502)