The role of real estate in efficient investment portfolios

JH Goslings, VL Petri - Journal of property valuation and investment, 1992 - emerald.com
Looks at the risk/return characteristics of real estate on thebasis of both appraisal and market
values. Broadens this analysis toinclude inflation. Makes a series of observations about the …

Petri nets are monoids

J Meseguer, U Montanari - Information and computation, 1990 - Elsevier
Petri monoid on a reflexive graph generated from a Petri net by additive closure is a well-know
object in Petri … and a reflexive Petri commutative monoid morphism is a Petri commutative …

Verification of embedded systems using a petri net based representation

LA Cortés, P Eles, Z Peng - Proceedings 13th International …, 2000 - ieeexplore.ieee.org
… In this work we formally define the semantics of PRES+, a Petri net based computational
model aimed to represent embedded systems. We introduce an approach to formal verification …

[HTML][HTML] Index sporarum et seminum N 155 Hortus Botanicus Petri Mangi Instituti Botanici nom. VL Komarovii Academiae Scientiarum Rossicae pro mutua …

H BOTANICUS - hb.karelia.ru
… Hortus Botanicus Petri Mangi … VL Komarovii Academiae Scientiarum Rossicae …
Following the international Convention on Biological Diversity (Rio de Janeiro – 1992) …

A Petri net-based visual language for specifying GUIs

X Li, WB Mugridge, JG Hosking - Proceedings. 1997 IEEE …, 1997 - ieeexplore.ieee.org
Petri nets [l] are used as the specification notation. Petri net nodes may be associated with
… [8] TJ Smedley, A high-level language for the graphical description of digital circuits, Proc VL

[PDF][PDF] Implementing Petri net transformations using graph transformation tools

E Biermann, C Ermel, T Modica… - … of the EASST, 2009 - ubsrvweb09.ub.tu-berlin.de
… For our aim to represent Petri net transformations by graph transformation we need … Petri
net representation in the domain of graphs. Hence, we define a type graph for the VL of Petri

Generation of animation views for Petri nets in GenGED

C Ermel, R Bardohl, H Ehrig - … -Based Systems: Advances in Petri Nets, 2003 - Springer
… of a specific visual language (VL) which defines eg a Petri net class. For this purpose, we …
VLs, especially we consider different types of Petri nets (low-level and high-level Petri nets). …

Asymptotic continuous Petri nets

J Le Bail, H Alla, R David - Discrete Event Dynamic Systems, 1993 - Springer
… continuous PetriPetri net. The former considers constant firing speeds (CCPN) and is very
easy to simulate (few events have to be considered, even when it approximates a timed Petri

Petri nets and regular processes

P Jančar, J Esparza, F Moller - Journal of Computer and System Sciences, 1999 - Elsevier
… a labelled Petri net and a finite automaton, are they equivalent?; (b) Given a labelled Petri net,
is … 1 u2 w j 2 }}} uk w j k v1 w j k+1 v2 w j k+2 }}} vl wl k , we get (from Lemma 2.5(c) applied …

[PDF][PDF] Construction and Correctness Analysis of a Model Transformation from Activity Diagrams to Petri Nets

H Ehrig, K Ehrig, C Ermel, J Padberg - Proc. Intern. IMCAS Symposium …, 2006 - eurosim.info
… In order to further restrict the visual sentences of a VL to valid visual models, a syntax graph
… the VL of Petri nets. A complete VL specification V Lspec = (AT GV L, GG) is given by a VL