Subject
Control and Systems Engineering,Software
Reference177 articles.
1. Comments on capabilities, limitations and “correctness” of Petri nets;Agerwala;ACM SIGARCH Computer Architecture News,1973
2. Modelling with generalized stochastic Petri nets;Ajmone Marsan,1994
3. Modelling and validation of complex systems modeled by colored Petri nets;Alla,1985
4. Modeling and simulation of an electronic component manufacturing system using hybrid Petri nets;Allan;IEEE Transactions on Semiconductor Manufacturing,1998
5. The theory of timed automata.;Alur;Theoretical Computer Science,1994
Cited by
73 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献