A Petri-net-based graphical system for network protocol synthesis.

A Petri-net-based graphical system for network protocol synthesis.

Bibliographic Details
Main Author:	Ghedamsi, Abderrazak.
Published:	University of Ottawa (Canada) 2009
Subjects:	Library Science.
Online Access:	http://hdl.handle.net/10393/5452 http://dx.doi.org/10.20381/ruor-10763

Similar Items

System analysis and protocol verification by an interactive Petri net package.
by: Qiu, Xiaoling.
Published: (2009)

Performance prediction using timed Petri nets.
by: Masapati, Gulammahammad Hasanasaheb.
Published: (2009)

A graphical environment for the simulation of Petri nets
by: Tan, Joo Tong.
Published: (2015)

The Application and Development of an Integrated Fuzzy and Petri Net Neural Network for a Graphics System
by: Chun-Wei Tsai, et al.
Published: (2012)

A graphical system for logical relational database design, GLORD.
by: Saleh, Kassem Afif.
Published: (2009)

Membrane Systems and Petri Net Synthesis
by: Marta Pietkiewicz-Koutny, et al.
Published: (2012-11-01)

Petri net based performance synthesis
by: WANG, SHI-QIANG, et al.
Published: (1993)

Synthesis of Petri Nets with Localities
by: M. Koutny, et al.
Published: (2009-12-01)

Simultaneous Petri Net Synthesis
by: E. Best, et al.
Published: (2018-12-01)

User Authentication Protocols in Wireless Networks with Petri Net Verification
by: Tseng, Huei-Ru, et al.
Published: (2010)

Zap! Pow! Graphic Medicine in Your Library
by: Walden, Rachel R.
Published: (2019)

Logic Petri Net Synthesis for Cooperative Systems
by: Wenjing Luan, et al.
Published: (2019-01-01)

The complexity of Petri net transformations
by: Donaldson, Stephen Richard
Published: (2015)

An analytic model for agent systems with Petri nets
by: Fu, Mo
Published: (2003)

Extensions to coloured Petri nets and their application to protocols
by: Billington, Jonathan
Published: (1990)

Assessing the Graphical and Algorithmic Structure of Hierarchical Coloured Petri Net Models
by: George Benwell, et al.
Published: (1994-11-01)

Assessing the graphical and algorithmic structure of hierarchical coloured Petri net models
by: MacDonell, Stephen Gerard, et al.
Published: (2012)

Graphical transitive representation of groups and computer algorithms for testing representability
by: Hsu, Y. H. (Yuen Hung)
Published: (1986)

Languages of Watson-Crick Petri net
by: Mohamad Jan, Nurhidaya, et al.
Published: (2014)

A petri-net model for loop scheduling /
by: Wong, Yue-Bong
Published: (1991)

A Robust System Maturity Model Using Petri Nets
by: Thal, Brent
Published: (2018)

The Utility of Graphical Representations in The Design of Procedural Online Help Content: An Exploratory Study /
by: Thomas, Josephine
Published: (1996)

Augmenting Petri Nets to Model Health-Care Protocols
by: Whittaker, Sarah-Jane
Published: (2011)

Decidability questions for Petri Nets.
by: Hack, Michel Henri Théodore
Published: (2005)

On the Modeling of Signaling Networks with Petri Nets
by: Berestovsky, Natalia Sergeevna
Published: (2012)

Petri-Net simulations of communications networks
by: Jennings, Stephen C., et al.
Published: (2012)

An approach for model checking petri nets based software architecture
by: Ding, Junhua
Published: (2000)

METHODOLOGY OF SYNTHESIS OF THE SUPERVISORS BY USING PETRI NET
by: Danko Kezić, et al.
Published: (2017-01-01)

Petri nets for situation recognition
by: Dahlbom, Anders
Published: (2011)

Petri Net Based Smart Home Systems
by: Chia-Yu Pan, et al.
Published: (2011)

Designing the Healthcare System Based on Petri Net
by: Lin-Hui Nung, et al.
Published: (2007)

Transition Based Synthesis with Modular Encoding of Petri Nets into FPGAs
by: Arkadiusz Bukowiec, et al.
Published: (2014-01-01)

Diagnosis of Large Software Systems Based on Colored Petri Nets
by: Li, Yingmin
Published: (2010)

Supervisor Synthesis for Automated Manufacturing Systems Based on Structure Theory of Petri Nets
by: Liu, Gaiyun
Published: (2014)

Supervisor Synthesis for Automated Manufacturing Systems Based on Structure Theory of Petri Nets.
by: Liu, Gaiyun
Published: (2014)

Petri-Net based System-level Verification Techniques on High-level Synthesis
by: Tsung-Hsi Chiang, et al.
Published: (2007)

Petri Nets Applications
Published: (2010)

Performance analysis of Stochastic Timed Petri Nets
by: Wiley, Richard Paul
Published: (2005)

On the generation of organizational architectures using Petri nets
by: Remy, Pascal A
Published: (2005)

The Design and Implementation of A Petri Net Synthesis Tool and
by: Chient-Lung Shih, et al.
Published: (1994)

Cannot write session to /tmp/vufind_sessions/sess_fob9ngsbn4bjim6tqsggncfug5