A Petri Net Model for Session Services

Authors:
Jun Shen;Yun Yang;Junzhou Luo
Affiliations:
-;-;-
Venue:
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Year:
2002

Citing 5
Cited 0

Petri net based models in the specification and verification of protocols

Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Safety Analysis Using Petri Nets

IEEE Transactions on Software Engineering
Delays in synchronized elementary net systems

Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS

ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
Timing Requirements for Time-Driven Systems Using Augmented Petri Nets

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, the authors propose a new type of EPr/TN net system called SYNEPr/TN (SYNchro-Extended Predicate/Transition Net), which serves as an FDT (formal description technique) of high-layer protocols in protocol engineering. Given the formal definition of SYNEPr/TN net system and its transition rules, the authors analyse the properties of this net system and solve the problems of redundant concurrent successors appeared in EPr/TN net system. Modeling and analysis of the high-layer protocols in the context of SYNEPr/TN net system are discussed in details.