000742235 000__ 03587cam\a2200541Ii\4500
000742235 001__ 742235
000742235 005__ 20230306141244.0
000742235 006__ m\\\\\o\\d\\\\\\\\
000742235 007__ cr\un\nnnunnun
000742235 008__ 151209s2015\\\\gw\\\\\\o\\\\\101\0\eng\d
000742235 020__ $$a9783662486504$$qelectronic book
000742235 020__ $$a3662486504$$qelectronic book
000742235 020__ $$z9783662486498
000742235 020__ $$z3662486490
000742235 035__ $$aSP(OCoLC)ocn932003168
000742235 035__ $$aSP(OCoLC)932003168
000742235 040__ $$aYDXCP$$beng$$erda$$epn$$cYDXCP$$dNUI$$dOCLCO$$dDKDLA$$dOCLCF$$dGW5XE$$dOCLCO$$dOCL$$dOCLCO
000742235 049__ $$aISEA
000742235 050_4 $$aQA76.758
000742235 08204 $$a005.1$$223
000742235 24500 $$aTransactions on petri nets and other models of concurrency X$$h[electronic resource] /$$cMaciej Koutny, Jörg Desel, Serge Haddad (eds.).
000742235 2463_ $$aTransactions on petri nets and other models of concurrency 10
000742235 264_1 $$aBerlin :$$bSpringer,$$c2015.
000742235 300__ $$a1 online resource.
000742235 336__ $$atext$$btxt$$2rdacontent
000742235 337__ $$acomputer$$bc$$2rdamedia
000742235 338__ $$aonline resource$$bcr$$2rdacarrier
000742235 4901_ $$aLecture notes in computer science ;$$v9410
000742235 500__ $$aIncludes author index.
000742235 506__ $$aAccess limited to authorized users.
000742235 520__ $$aThese Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The 10th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 35th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2014, and the 14th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC. The 8 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency.
000742235 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 22, 2016).
000742235 650_0 $$aPetri nets$$vCongresses.
000742235 650_0 $$aComputer science$$xMathematics$$vCongresses.
000742235 650_0 $$aComputer science.
000742235 650_0 $$aSoftware engineering.
000742235 650_0 $$aComputer logic.
000742235 7001_ $$aKoutny, Maciej,$$d1958-$$eeditor.
000742235 7001_ $$aDesel, Jörg,$$eeditor.
000742235 7001_ $$aHaddad, Serge,$$eeditor.
000742235 7112_ $$aInternational Conference on Applications and Theory of Petri Nets and Other Models of Concurrency$$n(35th :$$d2014 :$$cTunis, Tunisia)
000742235 7112_ $$aInternational Conference on Application of Concurrency to System Design$$n(14th :$$d2014 :$$cTunis, Tunisia)
000742235 77608 $$iPrint version:$$z3662486490$$z9783662486498$$w(OCoLC)921236023
000742235 830_0 $$aLecture notes in computer science ;$$v9410.
000742235 85280 $$bebk$$hSpringerLink
000742235 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-48650-4$$zOnline Access$$91397441.1
000742235 909CO $$ooai:library.usi.edu:742235$$pGLOBAL_SET
000742235 980__ $$aEBOOK
000742235 980__ $$aBIB
000742235 982__ $$aEbook
000742235 983__ $$aOnline
000742235 994__ $$a92$$bISE