| |
|
| |
In Handbook of Logic in Computer Science (1995)
|
| |
Theoretical Computer Science, Vol. 153, No. 1-2. (8 January 1996), pp. 3-48.
|
| |
In ICATPN (1997), pp. 195-214.
|
| |
|
| |
Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 6. (2006), pp. 1234-1243.
|
| |
Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 6. (2006), pp. 1248-1256.
|
| |
Lecture Notes in Computer Science : Formal Approaches to Agent-Based Systems (2002), pp. 28-36.
|
| |
Lecture Notes in Computer Science, Vol. 2001 (2001), pp. 38-??.
|
| |
International Journal of Production Research, Vol. 39, No. 2. (2001), pp. 225-253.
|
| |
In Proceedings of the 16th International Conference on Application and Theory of Petri Nets (1995), pp. 278-297.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 29, No. 1. (January 2004), pp. 25-36.
|
| |
Acta Informatica, Vol. 34, No. 2. (???? 1997), pp. 85-107.
|
| |
In Colloquium on Trees in Algebra and Programming (1994), pp. 115-129.
|
| |
ACM Trans. Comput. Syst., Vol. 2, No. 2. (May 1984), pp. 93-122.
|
| |
Lecture Notes in Computer Science, Vol. 2245 (2001), pp. 280-??.
|
| |
Mathematics and Computers in Simulation, Vol. 61, No. 1. (01 November 2002), pp. 53-59.
|
| |
|
| |
Semiconductor Manufacturing, IEEE Transactions on, Vol. 11, No. 3. (1998), pp. 333-357.
|
| |
The International Journal of Advanced Manufacturing Technology, Vol. 25, No. 7 - 8. (April 2005), pp. 735-742.
|
| |
In Proceedings of the IEEE (April 1989), pp. 541-580.
|
| |
In A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium (1994), pp. 230-272.
|
| |
In Tool Demonstrations. 24th International Conference on Application and Theory of Petri Nets (ATPN 2003). International Conference on Business Process Management (BPM 2003). (June 2003), pp. 99-102.
|
| |
In PSI '99: Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics (2000), pp. 208-220.
|
| |
In Agent-Oriented Software Engineering III. Third International Workshop, Agent-oriented Software Engineering (AOSE)~2002, Bologna, Italy, July 2002. Revised Papers and Invited Contributions, Vol. 2585 (2003)
|
| |
SozionikAktuell 1:2001 / Rolf von Lüde, Daniel Moldt, Rüdiger Valk (Hrsg.) (2001), pp. 7-16.
|
| |
Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference, Vol. 1 (2003), pp. 203-210 vol.1.
|
