325 search results - page 14 / 65 » Controlling Petri Net Process Models |
BPM
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
ICCSA
2005
Springer
14 years 2 months ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
APN
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
ETFA
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
AMCS
2010
13 years 8 months ago
2010