EMISA
2002
Springer
13 years 4 months ago
2002
Springer
EMISA
2002
Springer
13 years 4 months ago
2002
Springer
: As organizations continue to leverage the Internet for business, there is an increasing demand for platforms that support a variety of different business models
EMISA
2002
Springer
13 years 4 months ago
2002
Springer
Abstract: Gegenstand des vorliegenden Artikels ist die Vorstellung des aktuellen Entwicklungstandes von POSEIDON, einem Werkzeug zur Modellierung, Simulation und Analyse von Petri-...
EMISA
2002
Springer
13 years 4 months ago
2002
Springer
EMISA
2002
Springer
13 years 4 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
EMISA
2002
Springer
13 years 4 months ago
2002
Springer
: We present a twofolded view to the Petri Net Markup Language (PNML). On the one hand we describe the current state of PNML seen while adopting PNML for an existing tool. The exte...
EMISA
2002
Springer
13 years 4 months ago
2002
Springer
EMISA
2002
Springer
13 years 4 months ago
2002
Springer
Abstract: There is a lack of a systematic, generic, domain independent objectoriented software engineering process for software familes. In such process a system family should be t...
EMISA
2002
Springer
13 years 4 months ago
2002
Springer
: In this paper a proposal for the Biology Petri Net Markup Language (BioPNML) is presented. The concepts and terminology of the interchange format as well as its syntax that is ba...
EMISA
2002
Springer
13 years 4 months ago
2002
Springer