| |
Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on In Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on (2005), pp. 363-372.
|
| |
Business Process Management Workshops (2009), pp. 373-384.
|
| |
|
| |
The Computer Journal, Vol. 44 (2001)
|
| |
In CAV '00: Proceedings of the 12th International Conference on Computer Aided Verification (2000), pp. 216-231.
|
| |
In Festschrift in honor of Jörg Siekmann, Lecture Notes in Artificial Intelligence (2003), pp. 228-248.
|
| |
AMIA ... Annual Symposium proceedings / AMIA Symposium. AMIA Symposium (2006), pp. 289-293.
|
| |
In TIME '02: Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02) (2002), 20.
|
| |
|
| |
Models in Software Engineering (2008), pp. 118-131.
|
| |
Journal of Biomedical Informatics, Vol. 35, No. 2. (April 2002), pp. 123-139.
|
| |
Knowledge Engineering Review, Vol. 10, No. 2. (1995), pp. 115-152.
|
| |
In Handbook on Ontologies in Information Systems (2003), pp. 67-92.
|
| |
Autonomous Agents and Multi-Agent Systems, Vol. 3, No. 3. (2000), pp. 259-283.
|
| |
Fundam. Inf., Vol. 79, No. 3-4. (2008), pp. 347-362.
|
| |
|
| |
In Papers from the 12th International Conference on Applications and Theory of Petri Nets (1993), pp. 210-243.
|
| |
In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop (1989), pp. 428-437.
|
| |
|
| |
Business Process Management (2005), pp. 153-168.
|
| |
|
| |
In Proceedings of the 2nd Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms (1994)
|
| |
In In Weber et al, Vol. 2472 (2002), pp. 321-351.
|
| |
In Application and Theory of Petri Nets 2003, Vol. 2679 (2003), pp. 296-315.
|
| |
In Proc. of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 28-30, 2002 / Kurt Jensen (Ed.) (August 2002), pp. 1-20.
|
| |
Information Technology and Management, Vol. 5, No. 3-4., 271.
|
| |
|
| |
Model Checking Software (2006), pp. 219-233.
|
| |
In Artificial Intelligence in Medicine, Vol. 14 (1998), pp. 29-51.
|
| |
In Workflow Handbook 2004
|
| |
In AIMSA '94: Proceedings of the sixth international conference on Artificial intelligence : methodology, systems, applications (1994), pp. 183-192.
|
| |
In Euro-Par '98: Proceedings of the 4th International Euro-Par Conference on Parallel Processing (1998), pp. 852-861.
|
| |
Business Process Management Journal, Vol. 15, No. 1., pp. 74-92.
|
| |
|
| |
|
| |
|
| |
Information Systems, Vol. 30 (2003), pp. 245-275.
|
| |
Data & Knowledge Engineering In Advances in business process management, Vol. 50, No. 1. (July 2004), pp. 9-34.
|
| |
Data & Knowledge Engineering In Business Process Management - Where business processes and web services meet, Vol. 61, No. 1. (April 2007), pp. 39-58.
|
| |
Data Knowl. Eng., Vol. 51, No. 2. (2004), pp. 223-256.
|
| |
In 4th International Conference on Business Information Systems (BIS 2000 (1997), pp. 36-59.
|
| |
Petri Nets and Other Models of Concurrency - ICATPN 2006 (2006), pp. 431-440.
|
| |
|
| |
Advances in Petri Nets 1990 (1991), pp. 342-416.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 3. (1 June 2007), pp. 213-254.
|
| |
Information Systems, Vol. 27, No. 5. (July 2002), pp. 299-319.
|
| |
Artif. Intell. Med., Vol. 38, No. 2. (2006), pp. 171-195.
|
| |
|
| |
Formal Aspects of Computing, Vol. 10, No. 5. (21 May 1998), pp. 550-575.
|
| |
Lectures on Concurrency and Petri Nets (2004), pp. 87-124.
|
Search
