Non equivalence between time Petri nets and time stream Petri nets
Publisher
IEEE Comput. Soc
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatic Planning Method of Pipe-Line Systems by Petri Nets;Lecture Notes in Electrical Engineering;2024
2. Improving the State Space Computation of the Time Stream Petri Nets Model;The Computer Journal;2014-10-15
3. Using time stream Petri nets for workflow modelling analysis and enactment;SIMULATION;2012-01-24
4. Time Arc Petri Nets and Their Analysis;2009 Ninth International Conference on Application of Concurrency to System Design;2009-07
5. Time Recursive Petri Nets;Transactions on Petri Nets and Other Models of Concurrency I;2008