 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Author="Stork, David" |
|
Token-controlled place refinement in hierarchical Petri nets with application to active document workflow
David Stork, Rob van Glabbeek
Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)
Lecture Notes in Computer Science
2360
, 2002, pp. 394-413
| Editors | Javier Esparza, Charles Lakos | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo | |
| URL: |
http://dx.doi.org/10.1007/3-540-48068-4_23 | |
|
|
|
|