Show simple item record

dc.contributor.authorPastor Llorens, Enric
dc.contributor.authorRoig Mansilla, Oriol
dc.contributor.authorCortadella, Jordi
dc.contributor.authorBadia Sala, Rosa Maria
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2019-06-12T09:58:35Z
dc.date.available2019-06-12T09:58:35Z
dc.date.issued1994
dc.identifier.citationPastor, E. [et al.]. Petri net analysis using boolean manipulation. A: "Application and Theory of Petri Nets 1994, 15th International Conference: Zaragoza, Spain, June 20–24, 1994: proceedings". Berlín: Springer, 1994, p. 416-435.
dc.identifier.isbn978-3-540-48462-2
dc.identifier.urihttp://hdl.handle.net/2117/134309
dc.description.abstractThis paper presents a novel analysis approach for bounded Petri nets. The net behavior is modeled by boolean functions, thus reducing reasoning about Petri nets to boolean calculation. The state explosion problem is managed by using Binary Decision Diagrams (BDDs), which are capable to represent large sets of markings in small data structures. The ability of Petri nets to model systems, the flexibility and generality of boolean algebras, and the efficient implementation of BDDs, provide a general environment to handle a large variety of problems. Examples are presented that show how all the reachable states (1018) of a Petri net can be efficiently calculated and represented with a small BDD (103 nodes). Properties requiring an exhaustive analysis of the state space can be verified in polynomial time in the size of the BDD.
dc.format.extent20 p.
dc.language.isoeng
dc.publisherSpringer
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.lcshPetri nets
dc.subject.lcshComputational complexity
dc.subject.otherBoolean function
dc.subject.otherBoolean algebra
dc.subject.otherBinary decision diagram
dc.subject.otherStrongly connect component
dc.subject.otherFiring sequence
dc.titlePetri net analysis using boolean manipulation
dc.typePart of book or chapter of book
dc.subject.lemacPetri, Xarxes de
dc.subject.lemacComplexitat computacional
dc.contributor.groupUniversitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.identifier.doi10.1007/3-540-58152-9_23
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttps://link.springer.com/book/10.1007/3-540-58152-9
dc.rights.accessOpen Access
local.identifier.drac1672402
dc.description.versionPostprint (author's final draft)
local.citation.authorPastor, E.; Roig, O.; Cortadella, J.; Badia, R.M.
local.citation.pubplaceBerlín
local.citation.publicationNameApplication and Theory of Petri Nets 1994, 15th International Conference: Zaragoza, Spain, June 20–24, 1994: proceedings
local.citation.startingPage416
local.citation.endingPage435


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record