✦ LIBER ✦

Engineering deontic protocols by means of organizational Petri nets

✍ Scribed by Stéphanie Combettes; Chihab Hanachi; Christophe Sibertin-Blanc

Book ID: 108123009
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 484 KB
Volume: 22
Category: Article
ISSN: 0952-1976
DOI: 10.1016/j.engappai.2009.04.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling of communication protocols by u

Modeling of communication protocols by using petri nets

✍ M. Ilyas; H. Khalil 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 223 KB

Semantic verification and satisfiability

Semantic verification and satisfiability verification of MSC specifications by means of Petri nets in telecommunication software testing

✍ Naomoto Kato; Yoshiaki Shigeta; Wataru Tanaka; Haruo Hasegawa 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 230 KB 👁 1 views

This paper discusses the testing of communication system software, focusing on the semantic verification of specifications. Specifications are defined using message sequence charts (MSC) recommended by the ITU-T. Assuming an MSC-based scenario for which operational system specifications are defined,

SimQPN—A tool and methodology for analyz

SimQPN—A tool and methodology for analyzing queueing Petri net models by means of simulation

✍ Samuel Kounev; Alejandro Buchmann 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 478 KB

Behaviour analysis and performability of

Behaviour analysis and performability of a co-operative motion system modelled by Petri Net : Yoshio Sugasawa et al. Computers and Industrial Engineering, 24(4), 523 (1993)

📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 110 KB