{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/42377"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/42377","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Modeling and engineering software systems using Petri networks","abstract":"A model of software applications for business process management based on colored Petri Networks is proposed and the corresponding application development process is exposed. A language is proposed to specify the enabling rules of the transitions. An algorithm to solve the binding problem is proposed and detailed. These elements allow the developers to isolate themselves from the very complex details of business process orchestration, transaction management, multi-threading issues, and to concentrate on the implementation of the transitions themselves. As a proof of concept, a lightweight business process engine based on that model has been implemented as well as the associated development and code generation tools.","abstract_html":"A model of software applications for business process management based on colored Petri Networks is proposed and the corresponding application development process is exposed. A language is proposed to specify the enabling rules of the transitions. An algorithm to solve the binding problem is proposed and detailed. These elements allow the developers to isolate themselves from the very complex details of business process orchestration, transaction management, multi-threading issues, and to concentrate on the implementation of the transitions themselves. As a proof of concept, a lightweight business process engine based on that model has been implemented as well as the associated development and code generation tools.","abstract_has_math":false,"creators":["Visée, Michaël"],"institution":"Massachusetts Institute of Technology","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"System Design and Management Program.","school":null,"contributors":[],"advisors":["David Simchi-Levi."],"committee_chairs":[],"committee_members":[],"year":2007,"date_issued":"2007","date_published":"2007","updated_at":"2026-07-22T22:22:19Z","subjects":["System Design and Management Program."],"languages":["eng"],"rights":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/1721.1/42377","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["David Simchi-Levi."]},{"key":"dc:contributor.department","label":"Department","values":["System Design and Management Program."]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["System Design and Management Program."]},{"key":"dc:creator","label":"Author","values":["Visée, Michaël"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2008-09-03T15:29:10Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2008-09-03T15:29:10Z"]},{"key":"dc:date.issued","label":"Date","values":["2007"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["System Design and Management Program."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/1721.1/42377"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis (S.M.)--Massachusetts Institute of Technology, System Design and Management Program, 2007.","Includes bibliographical references (p. 38)."]},{"key":"dc:description.abstract","label":"Abstract","values":["A model of software applications for business process management based on colored Petri Networks is proposed and the corresponding application development process is exposed. A language is proposed to specify the enabling rules of the transitions. An algorithm to solve the binding problem is proposed and detailed. These elements allow the developers to isolate themselves from the very complex details of business process orchestration, transaction management, multi-threading issues, and to concentrate on the implementation of the transitions themselves. As a proof of concept, a lightweight business process engine based on that model has been implemented as well as the associated development and code generation tools."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["S.M."]},{"key":"dc:title","label":"Title","values":["Modeling and engineering software systems using Petri networks"]}]}],"canonical_facts":{"dc:contributor.advisor":["David Simchi-Levi."],"dc:contributor.department":["System Design and Management Program."],"dc:contributor.other":["System Design and Management Program."],"dc:creator":["Visée, Michaël"],"dc:date.accessioned":["2008-09-03T15:29:10Z"],"dc:date.available":["2008-09-03T15:29:10Z"],"dc:date.issued":["2007"],"dc:description":["Thesis (S.M.)--Massachusetts Institute of Technology, System Design and Management Program, 2007.","Includes bibliographical references (p. 38)."],"dc:description.abstract":["A model of software applications for business process management based on colored Petri Networks is proposed and the corresponding application development process is exposed. A language is proposed to specify the enabling rules of the transitions. An algorithm to solve the binding problem is proposed and detailed. These elements allow the developers to isolate themselves from the very complex details of business process orchestration, transaction management, multi-threading issues, and to concentrate on the implementation of the transitions themselves. As a proof of concept, a lightweight business process engine based on that model has been implemented as well as the associated development and code generation tools."],"dc:description.degree":["S.M."],"dc:identifier.uri":["http://hdl.handle.net/1721.1/42377"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["System Design and Management Program."],"dc:title":["Modeling and engineering software systems using Petri networks"],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:22:19Z"}