183 search results - page 19 / 37 » The Downward-Closure of Petri Net Languages |
103
Voted
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
112
click to vote
AC
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
ACSD
2006
IEEE
15 years 6 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
91
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
83
Voted
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...