DefinePK

DefinePK hosts the largest index of Pakistani journals, research articles, news headlines, and videos. It also offers chapter-level book search.

Select Collection
Categories
Religious and Islamic Studies Social Sciences Humanities and Arts Natural and Physical Sciences Medical and Health Sciences Engineering and Technology Agricultural and Environmental Sciences Business, Economics, and Management Sciences Law and Political Sciences Language, Literature, and Linguistics

11 Papers found for "Petri Nets (11)"

A survey of Petri net tools

Mohamed Ariff bin Ameedeen, Thong Weng Jie

ARPN Journal of Engineering and Applied Sciences | 2014

Read Paper
Verification of Production Activity Control Architecture Using PETRI Net Tools

Amir Manzur Wain, Shahid Ikramullah Butt, Sun Hou-Fang

Information Technology Journal | 2007

Read Paper
Modeling Multimedia Synchronization using Petri Nets

Wei Liu, Yuyue Du

Information Technology Journal | 2009

Read Paper
Improving QoS of Web Service Composition by Dynamic Configuration

Huaizhou Yang, Zengzhi Li

Information Technology Journal | 2010

Read Paper
Invariant Decomposition Conditions for Petri Nets Based on the Index of Transitions

Cong Liu, Faming Lu, Jie Zou, Qingtian Zeng, Qingxin Wu

Information Technology Journal | 2012

Read Paper
Domain-based Software Concurrent Engineering

Dean Zhao, Guodong Shi, Yuqiang Sun, Yuwan Gu

Information Technology Journal | 2013

Read Paper
TOWARDS FORMALIZATION OF INSPECTION USING PETRINETS

A. Wahab, F. Bahadur, M. Javed, M. Naeem

The Nucleus | 2014

Read Paper
Formal Modeling and Analysis of Air Traffic Control System Using Petri Nets

Amber Razzaq, Asad Raza Kazmi, Awais Qasim, Muhammad Ilyas Fakhir

VAWKUM Transactions on Computer Sciences | 2023

Read Paper
Formal Modeling of Agent Based Cloud Computing Services using Petri nets

Shahid Yousaf, Waseem Iqbal

VFAST Transactions on Software Engineering | 2013

Read Paper
TOWARDS Z SPECIFICATION OF PLACE TRANSITION NETS

F Ahmad, Mudasser Naseer, Zaheer Ahmad

VFAST Transactions on Software Engineering | 2015

Read Paper