MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Applications and Theory of Petri Nets" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 57 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • and Theory of Petri nets  
  • by Michel Barbeau, Gregorv Bochmann — 1993 — 14th International Conference, Chcago, USA, LNCS 691
  • …, no such bidirectional translation scheme has been published before. Topics: Relationships between net theory and other…
  • Cited by 2 (0 self) – Add To MetaCart
  • Curriculum Vita  
  • by Kathryn Fisler, Curriculum Vita, Advisors K. Jon Barwise, Steven D. Johnson, Advisor Moshe, Y. Vardi — 1998
  • … on Applications and Theory of Petri Nets, 1998. Fisler, Kathi. Containment of Regular Languages in Non…
  • Add To MetaCart
  • Properties and Bounds on P/T Nets  
  • by Javier Campos — 1999
  • … or approximation techniques for the analysis of timed or stochastic Petri net models is the computation of bounds…
  • Add To MetaCart
  • Universite Paris 6 - CNRS - Laboratoire d'informatique de Paris 6, Paris, France, September 1999.  
  • by Hp Serge Haddad, Publications Of Denis Poitrenaud, Bcg François Bréant, Jean-michel Couvreur, Frédéric Gilliers, Isabelle Mounier, Emmanuel Paviot-adet, Denis Poitrenaud, Dan Regep, Grégoire Sutre, Formal Methods Embedded, Bp Robert Brgan — 2005
  • …ions and Theory of Petri Nets (ICATPN'00), Lecture Notes in Computer Science, Aarhus, Denmark, June 2000. Springer-Verlag. [TMIP04] Yann Thierry-Mieg, Jean-Michel Ilie, and Denis Poitrenaud. A symbolic symbolic state space representation. In David de FrutosEscrig and Manuel Nunez, editors, Proceedi…
  • Add To MetaCart
  • Workshop Proceedings: Software Engineering and Petri Nets  
  • by Mauro Pezze, Sol M. Shatz (Eds.), Sol M. Shatz, Mauro Pezze, Politecnico Di Milano (italy, J. Merseguer, J. Campos, E. Mena, A. Chandler — 2000
  • …Petri Nets 2000 ISSN 0105-8517 21st International Conference on Application and Theory of Petri…
  • Add To MetaCart
  • Modelling with Generalized Stochastic Petri Nets  
  • by M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Parallel Computing, John Wiley, V. Almeida, J. Almeida, C. Murta Performance Analysis — 1995 — Series in Parallel Computing
  • … modelling. In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, volume 1825…
  • Cited by 252 (18 self) – Add To MetaCart
  • Proving Properties of Actor Programs Using Temporal Logic  
  • by Susanne Schacht Computational, Susanne Schacht — 1995 — In G. Agha & F. De Cindio (Eds.), Proc. of the Workshop on Object-Or&nted Programming and Models of Concurrency
  • …. A Workshop within the 16th Int. Conf. on Application and Theory of Petri Nets. Torino, Italy, June…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB