[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/306902.306982acmconferencesArticle/Chapter ViewAbstractPublication PagesspringsimConference Proceedingsconference-collections
Article
Free access

A symbolic simulation mechanism for well-formed coloured Petri nets

Published: 06 April 1992 Publication History
First page of PDF

References

[1]
J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ, 1981.
[2]
T. Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4):541- 580, April 1989.
[3]
K. Jensen. Coloured Petri nets and the invariant method. Theoreiical Computer Science, 14:317- 336, 1981.
[4]
G. Balbo, G. Chiola, S.C. Bruell, and P. Chen. An example of modelling and evaluation of a concurrent program using coloured stochastic Petri nets' Lamport's fast mutual exclusion algorithm. IEEE Transactions on Parallel and Distributed Systems, 3(1), January 1992.
[5]
G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. On well-formed coloured nets and their symbolic teachability graph. In Proc. 11~h Internalional Conference on Applicalion and Theory of Petri Nets, Paris, France, June 1990. Reprinted in High-Level Petri Nets. Theory and Application, K. Jensen and G. Rozenberg (editors), Springer Verlag, 1991.
[6]
G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets and multiprocessor modelling applications. In K. Jensen and G. Rozenberg, editors, High. Level Petri Nets. Theory and Application. Springer Vetlag, 1991.
[7]
Giovanni Chiola. GreaiSPN 1.5 software architecture. In Proc. 5~ Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991.
[8]
Giovanni Chiola. Simulation framework for timed and stochastic Petri nets. International Journal in Computer Simulation, 1(2):153-168, 1991.
[9]
Giovanni Chiola. Compiling techniques for the analysis of stochastic Petri nets. In R. Puigjaner and D. Potter, editors, Proc. 4 Int. Conf. Modeling Techniques and Tools for Computer Performance Evalualion, Palms de Mallorca, Spain, September 1988. Plenum Press, New York.
[10]
G. Balbo and G. Chiola. Stochastic Petri net simulation, in Proc. 1989 Winter Simulation Conference, Washington D.C., December 1989.
[11]
M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Contr. Generalized stchastic Petri nets revisited' Random switches and priorities. In Pvoc. Int. Workshop on Petri Nets and Performance Models, pages 44-53, Madison, WI, USA, August 1987. IEEE-CS Press.
[12]
K. Jensen. Coloured Petri nets: A high level language for system design and analysis. In G. Rozenberg, editor, Advances on Petri Nets '90, volume ????? LNCS. Springer Verlag, 1991. (to appear).

Cited By

View all
  • (2012)Efficient simulation of stochastic well-formed nets through symmetry exploitationProceedings of the Winter Simulation Conference10.5555/2429759.2430158(1-13)Online publication date: 9-Dec-2012
  • (2006)On the computation of stubborn sets of colored petri netsProceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency10.1007/11767589_9(146-165)Online publication date: 26-Jun-2006
  • (1996)Assessing the Performance of Multiprocessor Architectures through SWN Models SimulationProceedings of the 29th Annual Simulation Symposium (SS '96)10.5555/829528.831214Online publication date: 8-Apr-1996
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
ANSS '92: Proceedings of the 25th annual symposium on Simulation
April 1992
269 pages
ISBN:0818627654

Sponsors

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 06 April 1992

Check for updates

Qualifiers

  • Article

Conference

ASSP86
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)40
  • Downloads (Last 6 weeks)6
Reflects downloads up to 31 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2012)Efficient simulation of stochastic well-formed nets through symmetry exploitationProceedings of the Winter Simulation Conference10.5555/2429759.2430158(1-13)Online publication date: 9-Dec-2012
  • (2006)On the computation of stubborn sets of colored petri netsProceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency10.1007/11767589_9(146-165)Online publication date: 26-Jun-2006
  • (1996)Assessing the Performance of Multiprocessor Architectures through SWN Models SimulationProceedings of the 29th Annual Simulation Symposium (SS '96)10.5555/829528.831214Online publication date: 8-Apr-1996
  • (1996)Efficient Discrete-Event Simulation of Colored Petri NetsIEEE Transactions on Software Engineering10.1109/32.54143422:9(629-639)Online publication date: 1-Sep-1996
  • (1993)Generalized Stochastic Petri NetsIEEE Transactions on Software Engineering10.1109/32.21482819:2(89-107)Online publication date: 1-Feb-1993

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media