✦ LIBER ✦

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

✍ Scribed by ZhiJun Ding; ChangJun Jiang; MengChu Zhou; YaYing Zhang

Book ID: 117937755
Publisher: IEEE
Year: 2008
Tongue: English
Weight: 459 KB
Volume: 38
Category: Article
ISSN: 1083-4427
DOI: 10.1109/tsmca.2008.923064

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structure and behavior preservation by P

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

✍ Hejiao Huang; To-yat Cheung; Wai Ming Mak 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 353 KB

[Lecture Notes in Computer Science] Petr

[Lecture Notes in Computer Science] Petri Nets: Central Models and Their Properties Volume 254 || Language theory of Petri nets

✍ Brauer, W.; Reisig, W.; Rozenberg, G. 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 702 KB

A Petri Net-Based Method for Compatibili

A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language

✍ Wei Tan, ; Yushun Fan, ; MengChu Zhou, ; MengChu Zhou, 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 979 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theory and Applications of Models of Computation Volume 3959 || Analysis of Properties of Petri Synthesis Net

✍ Cai, Jin-Yi; Cooper, S. Barry; Li, Angsheng 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 455 KB

Synthesis, X-ray Crystal Structures, and

Synthesis, X-ray Crystal Structures, and Gas Sorption Properties of Pillared Square Grid Nets Based on Paddle-Wheel Motifs: Implications for Hydrogen Storage in Porous Materials

✍ Hyungphil Chun; Danil N. Dybtsev; Hyunuk Kim; Kimoon Kim 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 609 KB

## Abstract A systematic modulation of organic ligands connecting dinuclear paddle‐wheel motifs leads to a series of isomorphous metal‐organic porous materials that have a three‐dimensional connectivity and interconnected pores. Aromatic dicarboxylates such as 1,4‐benzenedicarboxylate (1,4‐bdc), te