Formalizing the design of a collaborative system by Petri nets

Haibin Zhu, Meng Chu Zhou

Research output: Contribution to journalConference articlepeer-review

2 Scopus citations


Collaboration on computer systems is totally different from that in face-to-face environment Even though scientists are working hard to provide systems that provide virtual environment to make it easy, there are requirements for collaborators to know the basic model and basic working modes of collaborative systems. This paper will concisely introduce OMCS (Object Model for Collaborative Systems) that is a previously-composed collaborative system object model. Then, it discusses the basic components of ordinary collaborative systems. By discussing possible choices for different components of this model, we demonstrate the design of a collaborative system called Multimedia Co-Authoring System (MCAS). In the discussion of MCAS system, Petri nets are used to describe the dynamic properties. By these Petri nets, we can also know the basic working modes of collaboration on such collaborative systems. From this practice, this paper concludes that Petri nets can provide a uniform environment for modeling, formal analysis and design of systems. They can be used to describe and check errors for a system design.

Original languageEnglish (US)
Pages (from-to)385-390
Number of pages6
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
StatePublished - 2002
Event2002 IEEE International Conference on Systems, Man and Cybernetics - Yasmine Hammamet, Tunisia
Duration: Oct 6 2002Oct 9 2002

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Hardware and Architecture


  • Collaborative System
  • Coordination
  • Object Model
  • Petri Nets
  • Role
  • Sharing


Dive into the research topics of 'Formalizing the design of a collaborative system by Petri nets'. Together they form a unique fingerprint.

Cite this