DefinePK

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

Select Collection

TOWARDS Z SPECIFICATION OF PLACE TRANSITION NETS

Article Information

Get PDF View Article
Login to Add in Library

Title: TOWARDS Z SPECIFICATION OF PLACE TRANSITION NETS

Authors: Zaheer Ahmad, F Ahmad, Mudasser Naseer

Journal: VFAST Transactions on Software Engineering

HEC Recognition History
Category From To
Y 2024-10-01 2025-12-31
Y 2023-07-01 2024-09-30
Y 2022-07-01 2023-06-30
Y 2021-07-01 2022-06-30

Publisher: VFAST-Research Platform

Country: Pakistan

Year: 2015

Volume: 3

Issue: 1

Language: English

DOI: 10.21015/vtse.v6i2.328

Categories
Computer Science (14978) Software Engineering (1373) Formal Methods (80) Software Verification (3) Petri Nets (11)

Abstract

Petri net formalism has dynamics and it is well suited for distributed or concurrent systems. However, it has a graphical representation in the form of a bipartite graph through which the type of data cannot be identified. This paper presents the Z specification of the net structure of place transition nets to provide the data semantics of graphical structure. This paper further addresses the Z specification of special sub classes of Petri nets, which include state machine, marked graphs and free choice nets.

Paper summary is not available for this article yet.

Loading PDF...

Loading Statistics...