The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Giuliana Franceschinis
    Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:1-14 [Conf]
  2. Kenneth L. McMillan
    Applications of Craig Interpolation to Model Checking. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:15-16 [Conf]
  3. Jonathan D. Pincus, Jeannette M. Wing
    Towards an Algebra for Security Policies. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:17-25 [Conf]
  4. Manuel Silva, Laura Recalde
    Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:26-47 [Conf]
  5. Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters
    Genetic Process Mining. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:48-69 [Conf]
  6. Samy Abbes
    The (True) Concurrent Markov Property and Some Applications to Markov Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:70-89 [Conf]
  7. Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai
    On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:90-107 [Conf]
  8. Anne Bouillard, Bruno Gaujal, Jean Mairesse
    Extremal Throughputs in Free-Choice Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:108-127 [Conf]
  9. Leonardo Brenner, Paulo Fernandes, Afonso Sales, Thais Webber
    A Framework to Decompose GSPN Models. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:128-147 [Conf]
  10. Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke
    Modeling Dynamic Architectures Using Nets-Within-Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:148-167 [Conf]
  11. Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
    A High Level Language for Structural Relations in Well-Formed Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:168-187 [Conf]
  12. Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella
    Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:188-207 [Conf]
  13. Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu
    Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:208-227 [Conf]
  14. Bing Han, Jonathan Billington
    Termination Properties of TCP's Connection Management Procedures. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:228-249 [Conf]
  15. Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    Soundness of Resource-Constrained Workflow Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:250-267 [Conf]
  16. Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
    High-Level Nets with Nets and Rules as Tokens. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:268-288 [Conf]
  17. Gabriel Juhás, Robert Lorenz, Jörg Desel
    Can I Execute My Scenario in Your Net?. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:289-308 [Conf]
  18. Michael Köhler, Heiko Rölke
    Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:309-328 [Conf]
  19. Charles Lesire, Catherine Tessier
    Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:329-348 [Conf]
  20. Wolfgang Reisig
    On the Expressive Power of Petri Net Schemata. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:349-364 [Conf]
  21. Mark Schäfer, Walter Vogler, Petr Jancar
    Determinate STG Decomposition of Marked Graphs. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:365-384 [Conf]
  22. Jirí Srba
    Timed-Arc Petri Nets vs. Networks of Timed Automata. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:385-402 [Conf]
  23. Lisa Wells, Thomas Maier
    Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:403-422 [Conf]
  24. Moe Thandar Wynn, David Edmond, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede
    Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:423-443 [Conf]
  25. Boudewijn F. van Dongen, Ana Karla A. de Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, Wil M. P. van der Aalst
    The ProM Framework: A New Era in Process Mining Tool Support. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:444-454 [Conf]
  26. Sami Evangelista
    High Level Petri Nets Analysis with Helena. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:455-464 [Conf]
  27. Eric Verbeek, Maarte van Hattem, Hajo A. Reijers, Wendy de Munk
    Protos 7.0: Simulation Made Accessible. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:465-474 [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