For the most recent entries see the
Petri Nets Newsletter.
Keyword: formal semantics
-
Varró, Dániel;
Pataricza, András:
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics).
2003.
-
Varro, Daniel;
Pataricza, Andras:
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models.
2002.
-
Best, E.;
Fraczak, W.;
Hopkins, R.P.;
Klaudel, H.;
Pelz, E.:
M-nets: an algebra of high-level Petri nets with an applications to the semantics of concurrent programming languages.
1998.
-
ter Hofstede, A.H.M.;
Proper, H.A.:
How to formalize it - formalization principles for information system development methods.
1998.
-
Ustimenko, Alexander P.:
Coloured Cause-Effect Structures.
1998.
-
Bolognesi, T.;
Lucidi, F.;
Trigila, S.:
From Timed Petri Nets to timed LOTOS.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography