1019 search results - page 12 / 204 » Transformations of Petri Nets |
144
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the EXHOST-PIPE software: an extension of PIPE
157
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
Mixed Multi-Unit Combinatorial Auctions (MMUCAs) allow agents to bid for bundles of goods to buy, goods to sell, and transformations of goods. In particular, MMUCAs offer a high ...
179
click to vote
ACSD
2006
IEEE
16 years 21 days 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...
264
click to vote
TSMC
2010
15 years 1 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
158
click to vote
APN
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...