MARC 닫기
00642nam ac200229 k 4500
000003811063
20220101120000
ta
020904s2001 gw 000 eng
▼a 3540422528
▼a 123456
▼c 123456
▼d 211070
▼l WM1818
▼v 2075
▼a QA75.5
▼a QA75.5
▼b L4
▼c 2075
▼a Jose-Manuel,Colom
▼a Applications and Theory of Petri Nets 2001/
▼d Colom,Jose-Manuel;
▼e Koutny,Maciej
▼a Berlin:
▼b Springer,
▼c 2001.
▼a 401p.;
▼c 24cm.
▼a Lecture Notes in Computer Science, 2075
▼a Petri nets
▼a Congresses
▼a Maciej,Koutny
▼b DM98
▼a 단행본
| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 3540422528 |
| 분류기호 : | QA75.5 |
| 개인저자 : | Jose-Manuel,Colom |
| 서명/저자사항 : | Applications and Theory of Petri Nets 2001/ Colom,Jose-Manuel; Koutny,Maciej |
| 발행사항 : | Berlin: Springer, 2001. |
| 형태사항 : | 401p.; 24cm. |
| 총서사항 : | Lecture Notes in Computer Science, 2075 |
| 개인저자 : | Maciej,Koutny |
| 언어 | 영어 |
1. Kronecker Algebra and (Stochastic) Petri Nets: Is it worth the effort?
2. The Flux of Interaction
3. Towards a Notion of Distributed Time for Petri Nets
4. Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
5. Timed Petri Nets and BQOs
6. CPN/Tools : A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
7. Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems
8. Condensed State Spaces for Timed Petri Nets
9. Unfolding of Products of Symmetrical Petri Nets
10. Partial Order Verification of Programmable Logic Controllers
11. Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets
서평쓰기