Skip to main navigation
Skip to search
Skip to main content
New Jersey Institute of Technology Home
Help & FAQ
Home
Profiles
Research units
Facilities
Federal Grants
Research output
Press/Media
Search by expertise, name or affiliation
Formalizing the design of a collaborative system by Petri nets
Haibin Zhu
,
Meng Chu Zhou
Electrical and Computer Engineering
Research output
:
Contribution to journal
›
Conference article
›
peer-review
2
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Formalizing the design of a collaborative system by Petri nets'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Petri Nets
100%
Collaborative Systems
100%
System Design
28%
Multimedia
28%
Authoring System
28%
Object Model
28%
Working Mode
28%
Co-authoring
28%
Virtual Environment
14%
Dynamic Properties
14%
Computer System
14%
Formal Design
14%
Formal Analysis
14%
System Objects
14%
Working Hard
14%
Engineering
Virtual Reality
100%
Computer System
100%
Dynamic Property
100%
Design System
100%
Computer Science
Petri Net
100%
Collaborative Systems
100%
Multimedia
28%
Authoring System
28%
Virtual Environments
14%
Computer System
14%
Dynamic Property
14%
formal modeling
14%