Author:
Christensen Søren,Hansen Niels Damgaard
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. J. Billington: Extending Coloured Petri Nets. University of Cambridge, Computer Laboratory, Technical Report No. 148, October 1988. (Ph.D. Thesis).
2. S. Christensen, N. Damgaard Hansen: Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. Daimi PB-398, ISSN 0105-8517, May 1992. Available as: Daimi PB-398, ISSN 0105-8517, May 1992.
3. G. Chiola, S. Donatelli and G. Franceschinis. Priorities, Inhibitor Arcs and Concurrency in P/T Nets. Proceedings of the 12th International Conference on Application and Theory of Petri Nets, Aarhus 1991, 182–205.
4. R. Devillers: The Semantics of Capacities in P/T Nets. In: G. Rozenberg (ed.): Advances in Petri Nets 1989. Lecture Notes in Computer Science, vol. 424. Springer-Verlag, 1989, pp. 128–150.
5. H.J. Genrich: Predicate/Transition nets. 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, 207–247.
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献