| |
Lectures on Petri Nets I: Basic Models (1998), pp. 211-256.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 29, No. 1. (January 2004), pp. 151-155.
|
| |
In WOSP '02: Proceedings of the 3rd international workshop on Software and performance (2002), pp. 46-54.
|
| |
|
| |
Industrial Electronics, IEEE Transactions on In Industrial Electronics, IEEE Transactions on, Vol. 41, No. 6. (1994), pp. 567-583.
|
| |
Automatic Control, IEEE Transactions on In Automatic Control, IEEE Transactions on, Vol. 39, No. 7. (1994), pp. 1482-1486.
|
| |
In WOSP '04: Proceedings of the 4th international workshop on Software and performance (2004), pp. 151-155.
|
| |
Computational Science – ICCS 2007 (2007), pp. 652-659.
|
| |
In International Symposium on Software Testing and Analysis (1994), pp. 228-239.
|
| |
|
| |
In 23rd Latin American Conference on Informatics (October 2007)
|
| |
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 3. (1 June 2007), pp. 213-254.
|
| |
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.
|
| |
|
| |
Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 2. (2006), pp. 327-337.
|
| |
In NDDL/VVEIS (2003), pp. 94-102.
|
| |
|
| |
|
| |
In Proc. IEEE Int. Symposium on Industrial Electronics (ISIE'99), 12-16 July 1999, Bled, Slovenia, Vol. 3 (1999), pp. 1383-1388.
|
| |
European Journal of Operational Research, Vol. 106, No. 1. (1998), pp. 45-56.
|
| |
The International Journal of Advanced Manufacturing Technology, Vol. 15, No. 2. (1999), pp. 132-138.
|
| |
Journal of Intelligent Manufacturing, Vol. 16, No. 1. (February 2005), pp. 67-92.
|
| |
|
| |
Robotics and Automation, 2001. Proceedings 2001 ICRA. IEEE International Conference on, Vol. 1 (2001), pp. 52-57 vol.1.
|
| |
Robotics and Automation, IEEE Transactions on, Vol. 18, No. 6. (2002), pp. 875-889.
|
| |
In Workshop on Foundations for Modeling and Simulation (M&S) Verification and Validation (2002)
|
| |
International Journal on Software Tools for Technology Transfer, Vol. 2, No. 2. (1998), pp. 98-132.
|
| |
|
| |
|
| |
Lecture Notes in Computer Science, Vol. 2001 (2001), pp. 38-??.
|
| |
|
| |
In Workshop on Parallel and Distributed Simulation (1997), pp. 134-137.
|
| |
Petri Net Newsletter, No. 59. (2000), pp. 18-23.
|
| |
In Proc.\ 16th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'95), Turin, Italy, June 1995, Vol. 935 (1995), pp. 201-217.
|
| |
In CRPITS '12: Proceedings of the conference on Application and theory of petri nets (2002), pp. 37-45.
|
| |
In ICATPN '97: Proceedings of the 18th International Conference on Application and Theory of Petri Nets (1997), pp. 62-81.
|
| |
|
| |
Lecture Notes in Computer Science: MFCS'93, Vol. 711 (1993)
|
| |
|
| |
|
| |
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.
|
| |
Discrete Event Dynamic Systems, Vol. 7, No. 2. (April 1997), pp. 151-190.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 29, No. 1. (January 2004), pp. 25-36.
|
