Вы здесь
Billington J.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | New Developments in Closed-Form Computation for GSPN Aggregation | 2003 | Freiheit J., Billington J. | Lecture Notes in Computer Science | 09.01.2004 | |||
СТ | Analysing Properties of the Resource Reservation Protocol | 2003 | Villapol M. E., Billington J. | Lecture Notes in Computer Science | 23.07.2003 | |||
СТ | The Petri Net Markup Language: Concepts, Technology, and Tools | 2003 | Billington J., Christensen S., Van Hee K., Kindler E., Kummer O., Petrucci L., Post R., Stehno C., Weber M. | Lecture Notes in Computer Science | 23.07.2003 | |||
СТ | Modeling the WAP Transaction Service Using Coloured Petri Nets | 1999 | Gordon S., Billington J. | Lecture Notes in Computer Science | 28.12.1999 | |||
СТ | Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN TM | 1996 | Floreani D. J., Billington J., Dadej A. | Lecture Notes in Computer Science | 01.08.1996 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Transactions on Petri Nets and Other Models of Concurrency III | 2009 | Lecture Notes in Computer Science |
|
27.03.2010 | |||
СБ | Transactions on Petri Nets and Other Models of Concurrency I | 2009 | Lecture Notes in Computer Science |
|
24.07.2009 | |||
СБ | Application of Petri Nets to Communication Networks: Advances in Petri Nets | 1999 | Lecture Notes in Computer Science |
|
05.06.1999 | |||
СБ | Application and Theory of Petri Nets 1996: Proc./17th Intern. Conf. Osaka, Japan, June 1996 | 1996 | Lecture Notes in Computer Science |
|
01.08.1996 |