Simulative CSL model checking of Stochastic Petri nets in IDD-MC

Rohr, Christian

Local TagsRelease HistoryDetailsSummary

Simulative CSL model checking of Stochastic Petri nets in IDD-MC

Rohr, C. (2010). Simulative CSL model checking of Stochastic Petri nets in IDD-MC. In Proc. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010). CEUR Workshop Proceedings (pp. 88-93).

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0000-EFE0-6 Version Permalink: https://hdl.handle.net/21.11116/0000-0000-EFE1-5

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Rohr, Christian^{1, 2}, Author

Affiliations:
1Otto-von-Guericke-Universität Magdeburg, External Organizations, ou_1738156
2International Max Planck Research School (IMPRS), Max Planck Institute for Dynamics of Complex Technical Systems, Max Planck Society, ou_1738143

Content

show

Details

show

hide

Language(s): eng - English

Dates: Date issued: 2010

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: -

Degree: -

Event

show

hide

Title: 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010)

Place of Event: Cottbus, Germany

Start-/End Date: 2010-10-07 - 2010-10-08

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proc. 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010). CEUR Workshop Proceedings

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 643 Sequence Number: - Start / End Page: 88 - 93 Identifier: -