:facetid:toc:\"db/journals/topnoc/topnoc9.bht\"OK:facetid:toc:db/journals/topnoc/topnoc9.bhtVladimir A. BashkinIrina A. LomazovaDecidability of k -Soundness for Workflow Nets with an Unbounded Resource.Trans. Petri Nets Other Model. Concurr.91-182014Journal Articlesclosedjournals/topnoc/BashkinL1410.1007/978-3-662-45730-6_1https://doi.org/10.1007/978-3-662-45730-6_1https://dblp.org/rec/journals/topnoc/BashkinL14URL#3797446Luca BernardinelloGörkem Kilinç 0001Elisabetta MangioniLucia PomelloModeling Distributed Private Key Generation by Composing Petri Nets.Trans. Petri Nets Other Model. Concurr.919-402014Journal Articlesclosedjournals/topnoc/BernardinelloKMP1410.1007/978-3-662-45730-6_2https://doi.org/10.1007/978-3-662-45730-6_2https://dblp.org/rec/journals/topnoc/BernardinelloKMP14URL#3797447Tobias BetzLawrence CabacMichael DuvigneauThomas Wagner 0003Matthias Wester-EbbinghausSoftware Engineering with Petri Nets: A Web Service and Agent Perspective.Trans. Petri Nets Other Model. Concurr.941-612014Journal Articlesclosedjournals/topnoc/BetzCDWW1410.1007/978-3-662-45730-6_3https://doi.org/10.1007/978-3-662-45730-6_3https://dblp.org/rec/journals/topnoc/BetzCDWW14URL#3797448Lawrence CabacDavid MostellerMatthias Wester-EbbinghausModeling Organizational Structures and Agent Knowledge for Mulan Applications.Trans. Petri Nets Other Model. Concurr.962-822014Journal Articlesclosedjournals/topnoc/CabacMW1410.1007/978-3-662-45730-6_4https://doi.org/10.1007/978-3-662-45730-6_4https://dblp.org/rec/journals/topnoc/CabacMW14URL#3797449Thomas ChatainStefan HaarA Canonical Contraction for Safe Petri Nets.Trans. Petri Nets Other Model. Concurr.983-982014Journal Articlesclosedjournals/topnoc/ChatainH1410.1007/978-3-662-45730-6_5https://doi.org/10.1007/978-3-662-45730-6_5https://dblp.org/rec/journals/topnoc/ChatainH14URL#3797450Xiaoqing JinYousra LembacharGianfranco CiardoSymbolic Termination and Confluence Checking for ECA Rules.Trans. Petri Nets Other Model. Concurr.999-1232014Journal Articlesclosedjournals/topnoc/JinLC1410.1007/978-3-662-45730-6_6https://doi.org/10.1007/978-3-662-45730-6_6https://dblp.org/rec/journals/topnoc/JinLC14URL#3797451Jetty KleijnMaciej KoutnyMarta Pietkiewicz-KoutnyTissue Systems and Petri Net Synthesis.Trans. Petri Nets Other Model. Concurr.9124-1462014Journal Articlesclosedjournals/topnoc/KleijnKP1410.1007/978-3-662-45730-6_7https://doi.org/10.1007/978-3-662-45730-6_7https://dblp.org/rec/journals/topnoc/KleijnKP14URL#3797452Junxian LiuLin Liu 0003A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction.Trans. Petri Nets Other Model. Concurr.9147-1772014Journal Articlesclosedjournals/topnoc/LiuL1410.1007/978-3-662-45730-6_8https://doi.org/10.1007/978-3-662-45730-6_8https://dblp.org/rec/journals/topnoc/LiuL14URL#3797453Maciej KoutnySerge HaddadAlex YakovlevTransactions on Petri Nets and Other Models of Concurrency IXTrans. Petri Nets and Other Models of ConcurrencyLecture Notes in Computer Science8910Springer2014Editorshipjournals/topnoc/2014-910.1007/978-3-662-45730-6https://doi.org/10.1007/978-3-662-45730-6https://dblp.org/rec/journals/topnoc/2014-9URL#3963852