Sciweavers

155 search results - page 1 / 31
» APC Semantics for Petri Nets
Sort
View
INFORMATICASI
2008
58views more  INFORMATICASI 2008»
13 years 7 months ago
APC Semantics for Petri Nets
Slavomír Simoòák, Stefan Hud&...
FSKD
2011
Springer
301views Fuzzy Logic» more  FSKD 2011»
12 years 7 months ago
Representation of Petri net with OWL DL ontology
—With the wide utilization of Petri nets, many researchers suggest that Petri nets should be reused and shared. Emerging the Semantic Web technologies, such as ontologies, can pl...
Fu Zhang, Z. M. Ma, Slobodan Ribaric
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
14 years 1 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
FUIN
2002
94views more  FUIN 2002»
13 years 7 months ago
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
Hanna Klaudel, Franck Pommereau
FAC
2010
148views more  FAC 2010»
13 years 6 months ago
Automating the transformation-based analysis of visual languages
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
Juan de Lara, Hans Vangheluwe