Software Architecture Description Language Based on Object-Oriented Petri Nets
JOURNAL- XIAN JIAOTONG UNIVERSITY ; 38 ; 1236-1239
2004-01-01
4 pages
Article (Journal)
Unknown
DDC: | 500 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Operating rules description using Petri nets
Tema Archive | 2007
|Modeling a distributed railway interlocking system with object-oriented Petri nets
British Library Conference Proceedings | 2006
|Generating Real-time Software Test Cases by Time Petri Nets
British Library Online Contents | 2000
|British Library Online Contents | 1997
|Deadlock control software for tow automated guided vehicles using Petri Nets
Tema Archive | 2010
|