264 search results - page 12 / 53 » Petri Net Based Model Validation in Systems Biology |
100
click to vote
APN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
ICSE
1998
IEEE-ACM
15 years 3 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
104
click to vote
APN
2006
Springer
15 years 3 months 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 ...
ACSD
2005
IEEE
15 years 1 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...
APN
2007
Springer
15 years 5 months ago
2007
Springer
Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We cons...