Вы здесь

Главная

Jensen K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Design TM - "Petri Net Editor" for the Macintosh 1986 Jensen K. Petri Net Newsletter 19.12.1992
СТ An Introduction to the Theoretical Aspects of Coloured Petri Nets 1994 Jensen K. Lecture Notes in Computer Science 05.08.1994
СТ Hierarchies in Coloured Petri Nets 1989 Huber P., Jensen K., Shapiro R. M. 10th Intern.Conf.on Application and Theory of Petri Nets, Bonn, June 1989 11.05.1995
СТ Towards Reachability Trees for High-Level Petri Nets 1988 Huber P., Jensen A. M., Jepsen L. O., Jensen K. Petri Nets Tutorial 05.10.1995
М Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use 1996 Jensen K. 31.03.1997
М Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use 1996 Jensen K. 31.03.1997
М Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use 1996 Jensen K. 31.03.1997
СТ A Brief Introduction to Coloured Petri Nets 1997 Jensen K. Lecture Notes in Computer Science 12.04.1997
СТ CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets 2003 Ratzer A. V., Wells L., Lassen H. M., Laursen M., Qvortrup J. F., Stissing M. S., Westergaard M., Christensen S., Jensen K. Lecture Notes in Computer Science 23.07.2003
СТ Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks 2004 Kristensen L. M., Jensen K. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.11.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Application and Theory of Petri Nets 1992:Proc./13th International Conference Sheffield, UK, June 1992 1992 Lecture Notes in Computer Science
  1. Jensen K.
 08.07.1992
СБ Approximation Algorithms for Combinatorial Optimization: Proc./5th Intern. Workshop, APPROX 2002, Rome, Italy, September 2002 2002 Lecture Notes in Computer Science
  1. Jensen K.
  2. Leonardi S.
  3. Vazirani V.
 09.10.2002
СБ Tools and Algorithms for the Construction and Analysis of Systems: Proc./10th Intern. Conf., TACAS 2004, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March-April 2004 2004 Lecture Notes in Computer Science
  1. Jensen K.
  2. Podelski A.
 15.05.2004
СБ Computer Music Modeling and Retrieval: Revised Papers/4th International Symposium, CMMR 2007. Copenhagen, Denmark, August 2007 2008 Lecture Notes in Computer Science
  1. Kronland-Martinet R.
  2. Ystad S.
  3. Jensen K.
 03.10.2008
СБ Transactions on Petri Nets and Other Models of Concurrency I 2009 Lecture Notes in Computer Science
  1. Jensen K.
  2. Van Der Aalst W.M. P.
  3. Billington J.
 24.07.2009
СБ Computer Music Modeling and Retrieval: Revised Papers/5th International Symposium, CMMR 2008. Copenhagen, Denmark, May 2008 2009 Lecture Notes in Computer Science
  1. Ystad S.
  2. Kronland-Martinet R.
  3. Jensen K.
 24.10.2009
СБ Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems 2009 Lecture Notes in Computer Science
  1. Jensen K.
 16.02.2010
СБ Transactions on Petri Nets and Other Models of Concurrency III 2009 Lecture Notes in Computer Science
  1. Jensen K.
  2. Billington J.
  3. Koutny M.
 27.03.2010
СБ Auditory Display: Revised Papers/6th International Symposium, CMMR/ICAD 2009, Copenhagen, Danmark, May 2009 2010 Lecture Notes in Computer Science
  1. Ystad S.
  2. Aramaki M.
  3. Kronland-Martinet R.
  4. Jensen K.
 22.06.2010
СБ Transactions on Petri Nets and Other Models of Concurrency IV 2010 Lecture Notes in Computer Science
  1. Jensen K.
  2. Donatelli S.
  3. Koutny M.
 22.02.2011
СБ Exploring Music Contents: Revised Papers/7th International Symposium, CMMR 2010, Malaga, Spain, June 2010 2011 Lecture Notes in Computer Science
  1. Ystad S.
  2. Aramaki M.
  3. Kronland-Martinet R.
  4. Jensen K.
 18.10.2011
СБ Transactions on Petri Nets and Other Models of Concurrency V 2012 Lecture Notes in Computer Science
  1. Jensen K.
  2. Donatelli S.
  3. Kleijn J.
 11.05.2012
СБ Transactions on Petri Nets and Other Models of Concurrency VI 2012 Lecture Notes in Computer Science
  1. Jensen K.
 11.01.2013
СБ Transactions on Petri Nets and Other Models of Concurrency VII 2013 Lecture Notes in Computer Science
  1. Jensen K.
 07.08.2013