In: Proceedings of the 22nd annual ACM computer science conference on Scaling up : meeting the challenge of complexity in real-world computing applications: meeting the challenge of complexity in real-world computing applications, 1994 , Phoenix, Arizona, United States, pages 189-195. ACM Press, March 1994.
Keywords: Petri Net; concurrency control; distributed simulation; object-oriented database; real-time transactions.