For the most recent entries see the
Petri Nets Newsletter.
Weber, M.
-
Weber, H.;
Ehrig, H.;
Reisig, W.;
Borusan, A.;
Lembke, S.;
Dehnert, J.;
Weber, M.;
Martens, A.;
Padberg, J.;
Ermel, C.;
Qemali, A.:
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.
2003.
-
Weber, Michael;
Kindler, Ekkart:
The Petri Net Kernel.
2003.
-
Weber, Michael;
Kindler, Ekkart:
The Petri Net Markup Language.
2003.
-
Billington, Jonathan;
Christensen, Søren;
van Hee, Kees;
Kindler, Ekkart;
Kummer, Olaf;
Petrucci, Laure;
Post, Reinier;
Stehno, Christian;
Weber, Michael:
The Petri Net Markup Language: Concepts, Technology, and Tools.
2003.
-
Ermel, Claudia;
Weber, Michael:
Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten.
2001.
-
Kindler, Ekkart;
Weber, Michael:
A universal module Concept for Petri nets.
2001.
-
Kindler, Ekkart;
Weber, Michael:
Modules in Pictures.
2001.
-
Weber, Michael:
Tool Support for Various Types of Petri Nets.
2001.
-
Kindler, Ekkart;
Weber, Michael:
The Petri Net Kernel -- An Infrastructure for Building Petri Net Tools.
2001.
-
Weber, M.:
An XML-based approach towards an interchange format for Petri nets.
2000.
-
Jüngel, M.;
Kindler, E.;
Weber, M.:
The Petri Net Markup Language.
2000.
-
Jüngel, M.;
Kindler, E.;
Weber, M.:
Towards a Generic Interchange Format for Petri Nets.
2000.
-
Kindler, E.;
Vesper, T.;
Weber, M.:
Application Oriented Verification Scenarios.
1999.
-
Weber, M.:
The Tool Developer View of The `Petri Net Baukasten'.
1999.
-
Kindler, Ekkart;
Weber, Michael:
The Petri Net Kernel: An Infrastructure for Building Petri Net Tools.
1999.
-
Vesper, Tobias;
Weber, Michael:
Structuring with Distributed Algorithms.
1998.
-
Kindler, Ekkart;
Weber, Michael:
The Dimensions of Petri nets: The Petri Net Cube.
1998.
-
Hauptmann, J.;
Hohberg, B.;
Kindler, E.;
Schwenzer, I.;
Weber, M.:
Der Petrinetz-Kern - Dokumentation der Anwendungs-Schnittstelle.
1998.
-
Weber, M.;
Walter, R.;
Völzer, H.;
Vesper, T.;
Reisig, W.;
Peuker, S.;
Kindler, E.;
Freiheit, J.;
Desel, J.:
DAWN. Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
1997.
-
Weber, Michael:
Der Petri-Netz Kern - Eine Aufteilung in Invariantes und Variables.
1997.
-
Hartenstein, R.W.;
Hirschbiel, A.;
Weber, M.:
Patil Array --- a Petri Net Hardware Implementation.
1988.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography