Protocol Specification Design Using an Object-Based Petri Net Formalism.

Vladimir P. Sliva Tadao Murata Sol M. Shatz

Published in: Int. J. Softw. Eng. Knowl. Eng. (1999)

Keyphrases

petri net
petri net model
manufacturing systems
protocol specification
artificial intelligence
database systems
formal methods
knowledge representation
design process
ims ld
discrete event systems
colored petri nets
fuzzy petri net