Highly Influenced

5 Excerpts

@inproceedings{Zibaeenejad2014WeakIS, title={Weak invariant simulation and analysis of parameterized networks}, author={Mohammad Hadi Zibaeenejad}, year={2014} }

- Published 2014

Multi-process networks figure in many engineering applications such as communication networks, transportation networks, manufacturing and logistic systems, and computer hardware and software. Parameterized discrete event systems provide a convenient means of modeling such networks when the number of subprocesses is arbitrary, unknown or time-varying. Unfortunately, some key properties of these networks, such as nonblocking and deadlock-freedom, are undecidable. Moreover, mathematical tools… CONTINUE READING