183 search results - page 25 / 37 » The Downward-Closure of Petri Net Languages |
APSEC
2000
IEEE
15 years 4 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
100
click to vote
APLAS
2010
ACM
15 years 19 days ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
106
Voted
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
102
Voted
EDOC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
111
Voted
WSC
2000
15 years 1 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...