305 search results - page 36 / 61 » Petri Net Analysis Using Decision Diagrams |
79
Voted
FMCO
2009
Springer
14 years 7 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
80
Voted
ICECCS
1995
IEEE
15 years 1 months ago
1995
IEEE
When trying to describe the behaviour of large systems, such as the business processes of large enterprises, we often adopt diagramming techniques based on derivatives of data flo...
121
click to vote
GLVLSI
1996
IEEE
15 years 1 months ago
1996
IEEE
Inthispaperweintroduceanondeterministiccounterpart to Reduced, Ordered Binary Decision Diagrams for the representation and manipulation of logic functions. ROBDDs are conceptually...
92
Voted
ECMDAFA
2010
Springer
15 years 2 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
INFORMATICALT
2010
14 years 6 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...