The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Pravin Varaiya
    Design, Simulation, and Implementation of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:1-5 [Conf]
  2. Andrew S. Miner, Gianfranco Ciardo
    Efficient Reachability Set Generation and Storage Using Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:6-25 [Conf]
  3. Enric Pastor, Jordi Cortadella, Marco A. Peña
    Structural Methods to Improve the Symbolic Analysis of Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:26-45 [Conf]
  4. Karsten Schmidt
    Stubborn Sets for Standard Properties. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:46-65 [Conf]
  5. Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre
    Petri Net Based Behavioural Specification of CORBA Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:66-85 [Conf]
  6. Olaf Kummer, Daniel Moldt, Frank Wienberg
    Symmetric Communication between Coloured Petri Net Simulations and Java-Processes. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:86-105 [Conf]
  7. Bruce H. Krogh
    Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract). [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:106- [Conf]
  8. Laura Recalde, Enrique Teruel, Manuel Silva
    Autonomous Continuous P/T Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:107-126 [Conf]
  9. Andrew Tokmakoff, Jonathan Billington
    An Approach to the Analysis of Interworking Traders. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:127-146 [Conf]
  10. Susann C. Allmaier, David Kreische
    Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:147-167 [Conf]
  11. Lorenzo Capra, Rossano Gaeta, Oliver Botti
    SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:168-187 [Conf]
  12. Christoforos N. Hadjicostis, George C. Verghese
    Monitoring Discrete Event Systems Using Petri Net Embeddings. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:188-207 [Conf]
  13. Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli
    Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:208-227 [Conf]
  14. Serge Haddad, Denis Poitrenaud
    Theoretical Aspects of Recursive Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:228-247 [Conf]
  15. Christoph Schneider, Joachim Wehler
    Petri Net Theory - Problems Solved by Commutative Algebra. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:248-267 [Conf]
  16. Piotr Chrzastowski-Wachtel
    Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:268-281 [Conf]
  17. Giorgio De Michelis
    Net Theory and Workflow Models (abstract). [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:282-283 [Conf]
  18. Walter Vogler
    Concurrent Implementation of Asynchronous Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:284-303 [Conf]
  19. Jean Fanchon
    Trace Channel Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:304-323 [Conf]
  20. Gabriel Juhás
    Reasoning about Algebraic Generalisation of Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:324-343 [Conf]
  21. Eike Best, Raymond R. Devillers, Maciej Koutny
    The Box Algebra - A Model of Nets and Process Expressions. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:344-363 [Conf]
  22. Jean-Michel Couvreur, Denis Poitrenaud
    Detection of Illegal Behaviors Based on Unfoldings. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:364-383 [Conf]
  23. To-Yat Cheung, Yiqin Lu
    Five Classes of Invariant-Preserving Transformations on Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:384-403 [Conf]
  24. Thomas Baar, Ekkart Kindler, Hagen Völzer
    Verifying Intuition - ILF Checks DAWN Proofs. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:404-424 [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