OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems-Reference-Cited by-同舟云学术

OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems

Published:2000 Issue: Volume: Page:331-360
ISSN:1567-7338
Container-title:Advances in Formal Methods
language:
Short-container-title:

Author:

Battiston E.,De Cindio F.,Mauri G.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4757-6541-0_7

Reference32 articles.

1. E. Astesiano, G. Reggio. Algebraic Specification of Concurrency, in:Recent Trends in Data Type Specification, LNCS 655, (M. Bidoit, C. Choppy), pp. 1–39, Springer Verlag, 1993.

2. E. Battiston, O. Botti, E. Crivelli, F. De Cindio. An Incremental Specification of a Hydroelectric Power Plant Control System using a class of modular algebraic nets, in: Proc. of the “16th Int. Conference on Application and Theory of Petri nets, Torino, I, 28à30 June 1995”, LNCS 935, (G. De Michelis, M. Diaz), pp. 84–102, Springer Verlag,1995.

3. E. Battiston, V. Crespi, F. De Cindio, G. Mauri. Semantics frameworks for a class of modular algebraic nets, inProc. of the “3rd Int. Conference on Algebraic Methodology and Software Technology, AMAST ‘83, Enschede, NL, 21–25 June 1993”, Workshops in Computing, (M. Nivat, C.Rattay, T.Rus and G.Scollo), pp. 271–280, Springer-Verlag, 1993.

4. E. Battiston, F. De Cindio, G. Mauri. OBJSA nets: a class of high level nets having objects as domains, in “Advances in Petri Nets 88”, LNCS 340, (G. Rozenberg ed.), pp. 20–43, Springer Verlag,1988. Also in [20].

5. E. Battiston, F. De Cindio, G. Mauri, L. Rapanotti. Morphisms and Minimal Models for OBJSA Nets, in Proc. of the “12th Int. Conference on Application and Theory of Petri nets, Gjern, DK, 26à28 June 1991”, pp. 455–476.