Publisher
Springer Berlin Heidelberg
Reference64 articles.
1. K. Albert, K. Jensen and R.M. Shapiro: Design/CPN. A tool package supporting the use of Coloured Petri Nets. Petri Net Newsletter 32 (April 1989), 22–36.
2. J.L. Baer: Modelling architectural features with Petri nets. In: W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986 Part II, Lecture Notes in Computer Science vol. 255, Springer-Verlag 1987, 258–277.
3. E. Best: Structure theory of Petri nets: the free choice hiatus. In: W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986 Part I, Lecture Notes in Computer Science vol. 254, Springer-Verlag 1987, 168–205.
4. J. Billington, G. Wheeler and M. Wilbur-Ham: Protean: a high-level Petri net tool for the specification and verification of communication protocols. IEEE Transactions on. Software Engineering, Special Issue on Tools for Computer Communication Systems, SE-14(3), 1988, 301–316.
5. W. Brauer (ed.): Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg 1979, Lecture Notes in Computer Science vol. 84, Springer-Verlag 1980, 213–223.
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献