158 search results - page 1 / 32 » Loose Semantics of Petri Nets |
BIRTHDAY
2005
Springer
14 years 4 months ago
2005
Springer
Abstract In this paper, we propose a new loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantic...
IFM
2004
Springer
14 years 4 months ago
2004
Springer
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...
APN
2006
Springer
14 years 26 days ago
2006
Springer
Petri net schemata are an intuitive and expressive approach to describe high-level Petri nets. A Petri net schema is a Petri net with edges and transitions inscribed by terms and B...
FSKD
2011
Springer
12 years 10 months ago
2011
Springer
—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...
TAGT
1998
Springer
14 years 3 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...