How to specify non determinism and true concurrency with algebraic term nets

Bettaz, Mohamed; Maouche, Mourad

doi:10.1007/3-540-56379-2_39

Cited by 25 publications

(5 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…give the same global effect as our transition (see [Bet92] for more detail). In reality, this replacement shows how ECATNets allow to specify a given situation at two levels of abstraction.…”

Section: Ic(pt) Is Of the Form [M]mentioning

confidence: 50%

“…It is worthwhile to mention that it is not easy to explain the behavior of ECATNets merely by giving the equivalent of a firing-like rule [Bet92]. This is because of their level of abstraction as well as their concurrent behavior.…”

Section: The Semanticmentioning

confidence: 99%

“…The G-ECATNets [Cha01], also represent another interesting and very expressive candidate. They present an interesting integration of ECATNets [Bet92] and of the object paradigm. The ECATNets are also high-level Petri Nets.…”

Section: $Evwudfwmentioning

confidence: 99%

See 2 more Smart Citations

Third Workshop on Modelling of Objects, Components, and Agents

Moldt¹

2004

DPB

View full text Add to dashboard Cite

This booklet contains the proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents (MOCA'04), October 11-13, 2004. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark and the "Theoretical Foundations of Computer Science" group at the University of Hamburg. The home page of the workshop is: http://www.daimi.au.dk/CPnets/workshop04

show abstract

Section: Ic(pt) Is Of the Form [M]mentioning

confidence: 50%

Section: The Semanticmentioning

confidence: 99%

See 1 more Smart Citation

Third Workshop on Modelling of Objects, Components, and Agents

Moldt¹

2004

DPB

View full text Add to dashboard Cite

show abstract

“…(m2); For IC(p,t) n DT(p,t) # 0, we have shown in [2] that this case may be brought to the two previous cases.…”

Section: : Hidden Sorted Ecatnetsmentioning

confidence: 85%

“…They are given as follows [2]. For IC(p,t) =DT(p,t), we have: (p, IC(p,t)) + (q,CT(q,t)) (ml); For IC(p, t) n DT(p,t) = 0, we have:…”

Section: : Hidden Sorted Ecatnetsmentioning

confidence: 99%

Modelling of object based systems with hidden sorted ECATNets

Bettaz

Maouche

MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunic

View full text Add to dashboard Cite

EGlTNets are a kind of High-level netldata model, combining the strenghts of PeOi nets with those of abstract data types, used for modeling parallel and distributed systems. Their most distinctive feature is that their semantics is defined in terms of rewriting logics, thus allowing us to analyse the built models by prototyping. However a major drawback of this approach is that the achieved prototypes suffer from a lack of efficiency during their execution. The objective of this paper is to palliate this lack by introducing the concept of hidden sorted ECATNets, a combination of netlobject model allowing to Wde" (object) intemal states, and then to get more rapid prototypes.

show abstract

Algebraic specification of concurrency

Astesiano

Reggio

1993

Recent Trends in Data Type Specification

View full text Add to dashboard Cite

How to specify non determinism and true concurrency with algebraic term nets

Cited by 25 publications

References 7 publications

Third Workshop on Modelling of Objects, Components, and Agents

Third Workshop on Modelling of Objects, Components, and Agents

Modelling of object based systems with hidden sorted ECATNets

Algebraic specification of concurrency

Contact Info

Product

Resources

About