Parallel systems specitications with coloured Petri nets and algebraic specifications

@inproceedings{Vautherin1986ParallelSS,
  title={Parallel systems specitications with coloured Petri nets and algebraic specifications},
  author={Jacques Vautherin},
  booktitle={European Workshop on Applications and Theory of Petri Nets},
  year={1986}
}
We present a way of combining algebraic specifications and Petri nets for specifying parallel systems formally. The data structure of a system is algebraically specified while its behaviour, and especially the synchronization constraints, are specified by a Petri net-like schema. The semantics of a specification is defined as a class of coloured Petri nets. By investigating the relationship between the different models of a specification and the terminal model which is equivalent to an ordinary… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 34 extracted citations

Reduction and Refinement by Algebraic Operations for Petri Net Transformation

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans • 2012
View 12 Excerpts
Highly Influenced

Flexibility in Algebraic Nets

View 4 Excerpts
Highly Influenced

Partner datenverarbeitender Services

View 11 Excerpts
Highly Influenced

Building a Symbolic Model Checker from Formal Language Description

2015 15th International Conference on Application of Concurrency to System Design • 2015
View 2 Excerpts

General composition for high level Petri nets and its properties

Central European Journal of Computer Science • 2012
View 1 Excerpt

Formal ontologies for data-centric business process management

2011 5th International Conference on Application of Information and Communication Technologies (AICT) • 2011
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-5 of 5 references

" Generalized inverses and symbolic computation of invariants in Coloured Petri nets "

J. Martinez M. Silva, P. Ladet, H. Alia.
Techniques et Science Informatique • 1985

Computation of flows for unary-predicates/transition-nets

European Workshop on Applications and Theory in Petri Nets • 1984

" High level Petri nets with data structure "

H. W. Schmidt, C. Sibertin-Blanc.
Proc . of the 6 th European Workshop on Applications and Theory of Petri Nets

Similar Papers

Loading similar papers…