Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection.

Shengru Tu Sol M. Shatz Tadao Murata

Published in: ICDCS (1990)

Keyphrases

petri net
deadlock detection
manufacturing systems
petri net model
service composition
web service composition
distributed database systems
ims ld
artificial intelligence
fuzzy logic
data management
complex systems