1. OAR@UM
  2. Faculty of Information and Communication Technology
  3. Department of Computer Information Systems
  4. Scholarly Works - FacICTCIS
Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/87205
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSpiteri Staines, Tony-
dc.date.accessioned2022-01-19T06:37:41Z-
dc.date.available2022-01-19T06:37:41Z-
dc.date.issued2013-
dc.identifier.citationSpiteri Staines, A. (2013). From task graphs to petri nets. International Journal of Emerging Technology and Advanced Engineering, 3(2), 36-42en_GB
dc.identifier.issn2250-2459-
dc.identifier.urihttps://www.um.edu.mt/library/oar/handle/123456789/87205-
dc.description.abstractThis paper describes the similarities between task graphs and Petri nets and explains how a well formed task graph can be converted or transformed into a Petri net for verification, validation and checking using incidence matrix analysis, invariants and the reachability graph. A case study is presented, results and conclusions are given.en_GB
dc.language.isoenen_GB
dc.rightsinfo:eu-repo/semantics/restrictedAccessen_GB
dc.subjectPetri netsen_GB
dc.subjectGraphic methods -- Computer programsen_GB
dc.subjectProgram transformation (Computer programming)en_GB
dc.subjectComputer systems -- Verificationen_GB
dc.titleFrom task graphs to petri netsen_GB
dc.typearticleen_GB
dc.rights.holderThe copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holderen_GB
dc.description.reviewedpeer-revieweden_GB
dc.publication.titleInternational Journal of Emerging Technology and Advanced Engineeringen_GB
Appears in Collections:Scholarly Works - FacICTCIS

Files in This Item:
File Description SizeFormat 
From_task_graphs_to_petri_nets.pdf
  Restricted Access		386.82 kBAdobe PDFView/Open Request a copy
Show simple item record Statistics


Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.