Article

Free access

Using agents for simulating and implementing Petri nets

Authors:

Tom Holvoet,

Pierre VerbaetenAuthors Info & Claims

PADS '97: Proceedings of the eleventh workshop on Parallel and distributed simulation

Pages 134 - 137

https://doi.org/10.1145/268826.268911

Published: 01 June 1997 Publication History

PDF eReader

Abstract

This paper presents a software architecture for simulating and implementing Petri nets. It is based on object-oriented techniques and autonomous agents. Object-orientation enables the adaptation and extension of the software architecture with new or alternatively defined features. Agents allow to model a net as a set of autonomous, cooperating entities. The result is a flexible and extendible framework of reusable components for efficiently implementing a large family of Petri net classes.The execution can be performed on a mono-processor, a parallel or distributed system. This is the result of using the XENOOPS execution environments for parallel applications.

References

[1]

R. Bastide. Objets Cooperatifs: un Forrna|- isme pour la Modelisation des Systems Concurrents. PhD thesis, Universite Paul Sabatier de Toulouse, February 1992.

Google Scholar

[2]

T. Holvoet and P. Verbaeten. PN-TOX: a Paradigm and Development Environment for Object Concurrency Specifications. In Proceedings of the Workshop on Object-Oriented Programming and Models of Concurrency, ICATPN'95, Turin, Italy, 1995. To appear.

Google Scholar

[3]

Wouter Joosen, Stijn Bijnens, and Pierre Verbaeten. Object Parallelism in XENOOPS. In Proceedings of the Object-Oriented Numerics Conference, April 1993.

Google Scholar

[4]

T. Mutate. Petri Nets: Properties, Analysis and Applications. In Proceedings of the IEEE, volume 77, pages 541-580, 1989.

Crossref

Google Scholar

[5]

W. De Pauw, D. Kimelman, and 3. Vlissides. Modeling Object-Oriented Program Execution. In Proceedings of the European Conference on Object-Oriented Programmin9 '9~, pages 163-182, 1994.

Digital Library

Google Scholar

[6]

D. Wikarski. Object Nets- a Canonical Class of Models for Behaviour Simulation and Structure Synthesis of Distributed Systems ? In Proceedings of the In~l Seminar on Mode|ling, Evaluation and Optimization of Dependable Computer Systems, pages 91-100, 1990.

Google Scholar

Cited By

View all

Zeng XBagrodia RGerla M(1998)GloMoSimACM SIGSIM Simulation Digest10.1145/278009.27802728:1(154-161)Online publication date: 1-Jul-1998
https://dl.acm.org/doi/10.1145/278009.278027
Zeng XBagrodia RGerla MUnger BFerscha A(1998)GloMoSimProceedings of the twelfth workshop on Parallel and distributed simulation10.1145/278008.278027(154-161)Online publication date: 1-Jul-1998
https://dl.acm.org/doi/10.1145/278008.278027

Index Terms

Using agents for simulating and implementing Petri nets

Recommendations

Using agents for simulating and implementing Petri nets

This paper presents a software architecture for simulating and implementing Petri nets. It is based on object-oriented techniques and autonomous agents. Object-orientation enables the adaptation and extension of the software architecture with new or ...
Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems

This paper introduces a method for the static analysis of belief-desire-intention (BDI) agents integrated with cyber-physical systems (CPS) using Petri nets (PN) and Model-driven Engineering (MDE) techniques, especially for their communication. CPS ...
Implementing Coloured Petri Nets Using a Functional Programming Language

Coloured Petri Nets (CPNs) are a graphically oriented modelling language for concurrent systems based on Petri Nets and the functional programming language Standard ML. Petri Nets provide the primitives for modelling concurrency and synchronisation. ...

Comments

Information & Contributors

Information

Published In

PADS '97: Proceedings of the eleventh workshop on Parallel and distributed simulation

June 1997

200 pages

ISBN:0818679654

Chairmen:
Alois Ferscha
Univ. Wien, Vienna, Austria
,
Rassul Ayani,
Carl Tropper

ACM SIGSIM Simulation Digest Volume 27, Issue 1
July 1997
184 pages
ISSN:0163-6103
DOI:10.1145/268823
Chairmen:
Alois Ferscha
Univ. of Wien, Vienna, Austria
,
Brian W. Unger
Univ. of Calgary, Alta, Canada
Issue’s Table of Contents

Publisher

IEEE Computer Society

United States

Publication History

Published: 01 June 1997

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

PADS97

Sponsor:

SCS
SIGSIM
IEEE

PADS97: 11th Workshop on Parallel and Distributed Simulation

June 10 - 13, 1997

Lockenhaus, Austria

Acceptance Rates

PADS '97 Paper Acceptance Rate 27 of 47 submissions, 57%;

Overall Acceptance Rate 398 of 779 submissions, 51%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
350
Total Downloads

Downloads (Last 12 months)45
Downloads (Last 6 weeks)13

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Zeng XBagrodia RGerla M(1998)GloMoSimACM SIGSIM Simulation Digest10.1145/278009.27802728:1(154-161)Online publication date: 1-Jul-1998
https://dl.acm.org/doi/10.1145/278009.278027
Zeng XBagrodia RGerla MUnger BFerscha A(1998)GloMoSimProceedings of the twelfth workshop on Parallel and distributed simulation10.1145/278008.278027(154-161)Online publication date: 1-Jul-1998
https://dl.acm.org/doi/10.1145/278008.278027

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Using agents for simulating and implementing Petri nets

Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques

Implementing Coloured Petri Nets Using a Functional Programming Language