• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
View Item 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Implementing timed extensions of Petri nets in Real-Time Maude

Majewski, Krzysztof Michal
Research report
View/Open
ResRep408.pdf (249.8Kb)
Year
2011
Permanent link
http://urn.nb.no/URN:NBN:no-28696

Is part of
Research report
Metadata
Show metadata
Appears in the following Collection
  • Institutt for informatikk [3640]
Abstract
We study three timed extensions of Petri nets. We demonstrate methods for transforming these types of Petri nets into Real-Time Maude programs. This lays the groundwork for a timed Petri net analysis tool in which these transformations will be automated. The programs we present elucidate the differences between the timed Petri net variants. This work provides further evidence that Real-Time Maude can be used to naturally express different models of concurrent real-time systems.
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login
RSS Feeds
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy