99 search results - page 2 / 20 » Complete Process Semantics of Petri Nets |
FSKD
2011
Springer
12 years 5 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...
APN
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
CONCUR
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
APN
2008
Springer
13 years 7 months ago
2008
Springer
In this paper we propose two new unfolding semantics for general Petri nets combining the concept of prime event structures with the idea of token flows developed in [11]. In contr...
GG
2008
Springer
13 years 6 months ago
2008
Springer
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interf...