Modeling and analysis of a web-based collaborative enterprise using Petri nets | IEEE Conference Publication | IEEE Xplore