The SCEAS System
Navigation Menu

Conferences in DBLP

Applications and Theory of Petri Nets (ICATPN/APN) (apn)
2004 (conf/apn/2004)

  1. Nadia Busi, Roberto Gorrieri
    Positive Non-interference in Elementary and Trace Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:1-16 [Conf]
  2. Gianfranco Ciardo
    Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:17-34 [Conf]
  3. Thomas A. Henzinger
    Embedded Software: Better Models, Better Code. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:35-36 [Conf]
  4. Wojciech Penczek, Agata Pólrola
    Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:37-76 [Conf]
  5. Lucia Pomello, Luca Bernardinello
    Formal Tools for Modular System Development. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:77-96 [Conf]
  6. William H. Sanders
    Stochastic Methods for Dependability, Performability, and Security Evaluation. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:97- [Conf]
  7. Adrianna Alexander
    Composition of Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:98-116 [Conf]
  8. João Paulo Barros, Luís Gomes
    On the Use of Coloured Petri Nets for Object-Oriented Design. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:117-136 [Conf]
  9. Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry
    Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:137-156 [Conf]
  10. Jörg Desel, Gabriel Juhás, Christian Neumair
    Finite Unfoldings of Unbounded Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:157-176 [Conf]
  11. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
    Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:177-196 [Conf]
  12. Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
    Generalised Soundness of Workflow Nets Is Decidable. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:197-215 [Conf]
  13. Monika Heiner, Ina Koch
    Petri Net Based Model Validation in Systems Biology. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:216-237 [Conf]
  14. Gabriel Juhás, Robert Lorenz, Christian Neumair
    Synthesis of Controlled Behavior with Modules of Signal Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:238-257 [Conf]
  15. Tommi A. Junttila
    New Canonical Representative Marking Algorithms for Place/Transition-Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:258-277 [Conf]
  16. Michael Köhler, Heiko Rölke
    Properties of Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:278-297 [Conf]
  17. Timo Latvala, Marko Mäkelä
    LTL Model Checking for Modular Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:298-311 [Conf]
  18. Edward Ochmanski
    Covering Fairness against Conspiracies. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:312-330 [Conf]
  19. Leo Ojala, Olli-Matti Penttinen, Elina Parviainen
    Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:331-350 [Conf]
  20. María José Polo Martín, Luis Antonio Miguel Quintales, María N. Moreno García
    A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:351-370 [Conf]
  21. Olivier H. Roux, Didier Lime
    Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:371-390 [Conf]
  22. Eric Verbeek, Robert A. van der Toorn
    Transit Case Study. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:391-410 [Conf]
  23. Harro Wimmel
    Eliminating Internal Behaviour in Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:411-425 [Conf]
  24. Harro Wimmel
    Infinity of Intermediate States Is Decidable for Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:426-434 [Conf]
  25. Dong-Hoon Yoo, Dong-Ik Lee, Jeong-A. Lee
    Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:435-453 [Conf]
  26. Boudewijn F. van Dongen, Wil M. P. van der Aalst
    EMiT: A Process Mining Tool. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:454-463 [Conf]
  27. Ekkart Kindler, Csaba Páles
    3D-Visualization of Petri Net Models: Concept and Realization. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:464-473 [Conf]
  28. Lars Michael Kristensen, Laure Petrucci
    An Approach to Distributed State Space Exploration for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:474-483 [Conf]
  29. Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk
    An Extensible Editor and Simulation Engine for Petri Nets: Renew. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:484-493 [Conf]
  30. Alexander Norta
    Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:494-503 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002