112 search results - page 2 / 23 » Towards a Petri Net Semantics for Membrane Systems |
116
Voted
AIME
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
87
Voted
SOFSEM
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...
122
Voted
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
91
Voted
BIRTHDAY
2005
Springer
15 years 6 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...
118
click to vote
CSREAESA
2003
15 years 1 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...