Login / Signup
Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems.
Yigang Chen
Wei-Tek Tsai
Daniel Y. Chao
Published in:
IEEE Trans. Parallel Distributed Syst. (1993)
Keyphrases
</>
dependency analysis
concurrent systems
temporal logic
distributed systems
process algebra
impact analysis
formal specification
model checking
transition systems
ontology driven
petri net
information entropy
pattern recognition
rough set theory
object oriented
databases
design patterns