( en | de | ru )

 

Disambiguation of "Voorhoeve, M."

Author of the publication

copydeleteadd this publication to your clipboard
Formal Modeling and Analysis by Simulation of Data Paths in Digital Document Printers

, , and . Proceedings of the Ninth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2008), volume 588 of DAIMI, page 27--46. Aarhus, Denmark, University of Aarhus, (October 2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Adolf Voorhoeve

Jutta Voorhoeve

Simon M M Laimer

M. Biswas M. Dam

Marcel M M Kuypers

 

Other publications of authors with the same name

The TASTE project, , and . Proceedings of the 10th International Conference on Applications and Theory of Petri Nets, page 371--372. Bonn, (June 1989)The DONS Rail Scheduling System, , and . Case Studies Tutorial, $15^th$ International Conference on Application and Theory of Petri Nets, page 1--12. (1994)Chapter 7: Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems, , , , , , , , , and 2 other author(s). Model-Based Design of Adaptive Embedded Systems, Springer-Verlag, Berlin, (2013)An Algebraic Semantics for Hierarchical P/T Nets (extended abstract), and . Application and Theory of Petri Nets 1995, 16th. International Conference, Proceedings, volume 935 of Lecture Notes in Computer Science, page 45--65. Torino, Italy, Springer--Verlag, Berlin, Germany, 1995, (June 1995)Modeling and Verification of Workflow Nets. Proceedings of Workflow Management: Net-based Concepts, Models, Techniques and Tools (WFM'98), volume 98/7 of Computing Science Reports, page 96--108. Lisbon, Portugal, Eindhoven University of Technology, Eindhoven, (1998)Adaptive Workflow: On the Interplay between Flexibility and Support, , , , and . Enterprise Information Systems, Kluwer Academic Publishers, Norwell, (2000)EXSPECT, the functional part, , and . Computing Science Notes 88/20, Eindhoven University of Technology, Eindhoven, (1988)Adaptive Workflow: An Approach Based on Inheritance, , , , and . Proceedings of the IJCAI'99 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business, page 36--45. Stockholm, Sweden, (August 1999)Formal Modeling and Analysis by Simulation of Data Paths in Digital Document Printers, , and . Proceedings of the Ninth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2008), volume 588 of DAIMI, page 27--46. Aarhus, Denmark, University of Aarhus, (October 2008)A Formal Framework for Dynamic Modelling of Information Systems, , and . Dynamic Modelling of Information Systems, Elsevier Science Publishers, Amsterdam, (1991)