000			01664nam a2200337Ia 4500
000			03856nam a22003615i 4500
001			978-3-031-33620-1
003			DE-He213
005			20240319120913.0
007			cr nn 008mamaa
008			230527s2023 sz | s |||| 0|eng d
020			_a9783031336201 _9978-3-031-33620-1
082			_a6.22
245			_aApplication and Theory of Petri Nets and Concurrency _cedited by Luis Gomes, Robert Lorenz. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aXV, 466 p. 188 illus., 89 illus. in color. _bonline resource.
520			_aThis book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; timed models; model transformation. The book also includes two invited talks in full paper length. .
650			_aComputer Communication Networks. _932128
650			_aComputer networks . _932129
650			_aComputer science _932130
650			_aEmbedded computer systems. _932131
650			_aEmbedded Systems. _932132
650			_aMathematics of Computing. _932133
650			_aSoftware engineering. _932134
650			_aSoftware Engineering. _932135
700			_aGomes, Luis. _932136
700			_aLorenz, Robert. _932137
856			_uhttps://doi.org/10.1007/978-3-031-33620-1
942			_cEBK _2ddc
999			_c15273 _d15273