A Universal Module Concept for Petri Nets - an implementation-oriented approach - (2001) [11 citations — 5 self]
by
Ekkart Kindler
,
Michael Weber
,
Mathematisch-geographische Fakultt Katholische Universitt Eichsttt
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@MISC{Kindler01auniversal,
author = {Ekkart Kindler and Michael Weber and Mathematisch-geographische Fakultt Katholische Universitt Eichsttt},
title = {A Universal Module Concept for Petri Nets - an implementation-oriented approach -},
year = {2001}
}
author = {Ekkart Kindler and Michael Weber and Mathematisch-geographische Fakultt Katholische Universitt Eichsttt},
title = {A Universal Module Concept for Petri Nets - an implementation-oriented approach -},
year = {2001}
}
Bookmarks
OpenURL
Abstract:
The Petri Net Markup Language (PNML) is a proposal for an interchange format for Petri nets, which supports all kinds of Petri net types. New extensions to Petri nets can be easily defined as a new Petri net type.
Citations
| 1110 | K.L.Symbolic Model Checking – MCMILLAN - 1993 |
| 9 | Towards a Generic Interchange Format for Petri Nets. In: Bastide et al – Jngel, Kindler, et al. - 2000 |
| 9 | Mortensen: Separation of Style and Content with XML in an Interchange Format for High-level Petri Nets. In: Bastide et al – Mailund, Kjeld - 2000 |
| 2 | The Petri Net Markup Language – Jngel, Kindler, et al. - 2000 |
| 1 | last visited – dkdesignCPN |
| 1 | and Orna Grumberg. VeriTech: Translating among specications and verication tools – Katz - 1999 |
