Fifo nets without order deadlock

Finkel, Alain; Choquet, Annie

doi:10.1007/bf02737096

Cited by 1 publication

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Systems of CSFMs pose strict constraints on design, since they adopt the ®fo channel as a built-in communication mechanism. First In First Out Nets (FIFO nets) (Finkel and Choquet, 1988;Finkel and Rosier, 1988) have been proposed as a generalization of both PNs and systems CSFMs. Places and tokens in a FIFO net represent ®fo queues and letters, respectively.…”

Section: Extensions Based On Systems Of Communicating ®Nite State Macmentioning

confidence: 99%

Comparative study and categorization of high-level petri nets

Gerogiannis

Kameas

Pintelas

1998

Journal of Systems and Software

View full text Add to dashboard Cite

The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, classical (low-level) models suer from the state explosion problem as resulting PNs become larger. Thus, their ability to represent and analyze realistic large scale systems is reduced. High-level PNs have been introduced in order to extend the modeling power of low-level models. This paper presents an assessment of high-level PNs from an engineering perspective. A set of categories is proposed for classifying several extensions presented in the literature. Models which belong to the same category are compared by discussing the formalism, the descriptive power and the inherent limitations of each. All categories are compared using a set of general criteria including compactness, ease of analysis, degree of supporting re®nement/ abstraction and specifying communication. The modeling power of representative models of each category is discussed by presenting illustrative application examples. Ó 1998 Elsevier Science Inc. All rights reserved.

show abstract

Section: Extensions Based On Systems Of Communicating ®Nite State Macmentioning

confidence: 99%