✦ LIBER ✦

Structure and behavior preservation by Petri-net-based refinements in system design

✍ Scribed by Hejiao Huang; To-yat Cheung; Wai Ming Mak

Book ID: 108280979
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 353 KB
Volume: 328
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2004.07.016

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preserving Languages and Properties in S

Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets

✍ ZhiJun Ding; ChangJun Jiang; MengChu Zhou; YaYing Zhang 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 459 KB

[Lecture Notes in Computer Science] Roug

[Lecture Notes in Computer Science] Rough Sets and Knowledge Technology Volume 4062 || The Design of Biopathway’s Modelling and Simulation System Based on Petri Net

✍ Wang, Guo-Ying; Peters, James F.; Skowron, Andrzej; Yao, Yiyu 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 456 KB

This Book Constitutes The Refereed Proceedings Of The First International Conference On Rough Sets And Knowledge Technology, Rskt 2006, Held In Chongqing, China In July 2006. The Volume Presents 43 Revised Full Papers And 58 Revised Short Papers, Together With 15 Commemorative And Invited Papers. To

[Lecture Notes in Control and Informatio

[Lecture Notes in Control and Information Sciences] Discrete Event Systems: Models and Applications Volume 103 || Representation, analysis and simulation of manufacturing systems by Petri net based models

✍ Varaiya, Pravin; Kurzhanski, Alexander B. 📂 Article 📅 1988 🏛 Springer-Verlag ⚖ 709 KB

[IEEE Third International Conference on

[IEEE Third International Conference on Autonomic and Autonomous Systems (ICAS'07) - Athens, Greece (2007.6.19-2007.6.25)] Third International Conference on Autonomic and Autonomous Systems (ICAS'07) - Design and Analyze the Communication in the Multi-Core Soc Driven by Petri Net

✍ Yonggang, Yu; Tianzhou, Chen; Hongjun, Dai 📂 Article 📅 2007 🏛 IEEE ⚖ 216 KB