A Petri-net-based approach to real-time program analysis
Publisher
IEEE Comput. Soc. Press
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets;IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans;2010-03
2. Stubborn sets for real-time Petri nets;Formal Methods in System Design;1997
3. Reduction rules for time Petri nets;Acta Informatica;1996-10-01
4. Reduction rules for time Petri nets;Acta Informatica;1996-08