Author:
Miller Keith,MacCaull Wendy
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
2. van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
3. Jensen, K.: Coloured Petri nets: A high level language for system design and analysis. In: Applications and Theory of Petri Nets, pp. 342–416 (1989)
4. Baader, F., et al. (eds.): Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
5. Lecture Notes in Artificial Intelligence;F. Baader,2005