@inproceedings{a504d1dfd14f44b4bdeec9a5d0e5481a,
title = "Information technology strategic planning: Modeling, analysis and verification of business processes",
keywords = "Analysis, Business process, ITSP, Partial ordered Petri nets, Verification",
author = "Konigsberg, {Zvi Retchkiman}",
year = "2007",
language = "Ingl{\'e}s",
isbn = "9780975840047",
series = "MODSIM07 - Land, Water and Environmental Management: Integrated Systems for Sustainability, Proceedings",
pages = "1811--1817",
booktitle = "MODSIM07 - Land, Water and Environmental Management",
note = "International Congress on Modelling and Simulation - Land, Water and Environmental Management: Integrated Systems for Sustainability, MODSIM07 ; Conference date: 10-12-2007 Through 13-12-2007",
}