000 | 02750nam a22005655i 4500 | ||
---|---|---|---|
001 | 978-3-031-06653-5 | ||
003 | DE-He213 | ||
005 | 20240730174453.0 | ||
007 | cr nn 008mamaa | ||
008 | 220528s2022 sz | s |||| 0|eng d | ||
020 |
_a9783031066535 _9978-3-031-06653-5 |
||
024 | 7 |
_a10.1007/978-3-031-06653-5 _2doi |
|
050 | 4 | _aTK7895.E42 | |
072 | 7 |
_aUKM _2bicssc |
|
072 | 7 |
_aCOM092000 _2bisacsh |
|
072 | 7 |
_aUKM _2thema |
|
082 | 0 | 4 |
_a006.22 _223 |
245 | 1 | 0 |
_aApplication and Theory of Petri Nets and Concurrency _h[electronic resource] : _b43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings / _cedited by Luca Bernardinello, Laure Petrucci. |
250 | _a1st ed. 2022. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2022. |
|
300 |
_aXIV, 393 p. 131 illus., 73 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13288 |
|
520 | _aThis book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021. The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining. | ||
650 | 0 |
_aEmbedded computer systems. _97792 |
|
650 | 0 |
_aComputer science _xMathematics. _93866 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 1 | 4 |
_aEmbedded Systems. _932486 |
650 | 2 | 4 |
_aMathematics of Computing. _931875 |
650 | 2 | 4 |
_aComputer Communication Networks. _9112642 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
700 | 1 |
_aBernardinello, Luca. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9112643 |
|
700 | 1 |
_aPetrucci, Laure. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9112644 |
|
710 | 2 |
_aSpringerLink (Online service) _9112645 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783031066528 |
776 | 0 | 8 |
_iPrinted edition: _z9783031066542 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13288 _923263 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-06653-5 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c89448 _d89448 |