Modeling and analysis of real-time cooperative systems using petri nets

Keyphrases

• Petri Nets 100%
• Cooperative Systems 100%
• Time Cooperation 100%
• Inter-organizational 66%
• Workflow Net 66%
• Rigorous Analysis 33%
• Electronic Commerce 33%
• Systems-based 33%
• Seller 33%
• Static Networks 33%
• Logical Correctness 33%
• Time Petri Nets 33%
• Temporal Logic 33%
• Processing Function 33%
• State Explosion Problem 33%
• Net Model 33%
• Formal Techniques 33%
• Buyers 33%
• Net Structure 33%
• Logical Expression 33%
• Batch Processing 33%

Computer Science

• Petri Net 100%
• cooperative system 100%
• e-Commerce 33%
• Subclasses 33%
• time petri net 33%
• Logical Expression 33%
• Temporal Logic 33%
• Soundness 33%