Filters








132 Hits in 3.2 sec

Combining finite automata, parallel programs and SDL using Petri nets [chapter]

Bernd Grahlmann
<span title="">1998</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This paper introduces a method to combine finite automata, parallel programs and SDL (Specification and Description Language) specifications.  ...  Therefore, -we extend an existing semantics, namely the M-net semantics for the parallel programming language B(PN)2; and we present an M-net semantics for finite automata.  ...  Acknowledgement: I would like to thank Eike Best and anonymous referees for their comments; Martin Ackermann, Ulf Fildebrandt, Michael Kater, and Stefan Schwoon for their implementations; and Hans Fleischhack  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0054167">doi:10.1007/bfb0054167</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tidtdkh4rndldjjgxrix7no5ey">fatcat:tidtdkh4rndldjjgxrix7no5ey</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170915134030/https://link.springer.com/content/pdf/10.1007%2FBFb0054167.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/14/20/142078a2ebec4e54a25797a48bd1335edfab67b9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0054167"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Real-Time Systems Design with PEP [chapter]

Christian Stehno
<span title="">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The PEP tool provides an integrated development and verification environment for parallel systems. Beginning with version 2.0 it also offers use of timed systems.  ...  This paper describes a sample session for the design and the verification by partial order based techniques of a simple real-time model for a mutual exclusion algorithm.  ...  The author would like to thank Eike Best, Hans Fleischhack and the anonymous referees for their comments on this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-46002-0_35">doi:10.1007/3-540-46002-0_35</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s2724p3xvvf2pkr7rzt4x276re">fatcat:s2724p3xvvf2pkr7rzt4x276re</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503081042/https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_35.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/43/d8/43d8bb8a3e2653710dc3a56e9a0c4070c9fa547b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-46002-0_35"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

PEP — more than a Petri Net tool [chapter]

Bernd Grahlmann, Eike Best
<span title="">1996</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The programming component allows the user to design concurrent algorithms in an easy-to-use imperative language, and the PEP system then generates Petri nets from such programs.  ...  The PEP system (Programming Environment based on Petri Nets) supports the most important tasks of a good net tool, including HL and LL net editing and comfortable simulation facilities.  ...  Parallel finite automata (PFA) with B(PN) 2 actions as edge annotations can be edited and compiled into B(PN) 2 programs [10]. 1 . 1 In order to allow the user to (model) check a custom designed system  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-61042-1_58">doi:10.1007/3-540-61042-1_58</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6xleev2hqjebjfv47l6sc4rnhm">fatcat:6xleev2hqjebjfv47l6sc4rnhm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030091301/https://link.springer.com/content/pdf/10.1007%2F3-540-61042-1_58.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/33/2a3352ed06a6f05b876eef5d361e4b9fd08b65b8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-61042-1_58"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Maria: Modular Reachability Analyser for Algebraic System Nets [chapter]

Marko Mäkelä
<span title="">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The algebra contains powerful built-in data types and operations. Models can be exported to low-level Petri nets and labelled transition systems.  ...  Maria performs simulation, exhaustive reachability analysis and on-the-fly LTL model checking of high-level Petri nets with fairness constraints.  ...  The design of Maria has been influenced by feedback from Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi and others.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48068-4_25">doi:10.1007/3-540-48068-4_25</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rrxv2wnelvgp5go6g574dcrmui">fatcat:rrxv2wnelvgp5go6g574dcrmui</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040518064147/http://www.tcs.hut.fi:80/Publications/msmakela/maria.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ea/5a/ea5ac31840efb8efebb0e63329f489766e8434e8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48068-4_25"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Specifications and Modeling [chapter]

Peter Marwedel
<span title="">2021</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jchr2ocdj5hfhk4vv3g3huukfi" style="color: black;">Embedded Systems</a> </i> &nbsp;
The presentation includes models for early design phases, automata-based models, data flow, Petri nets, discrete event models, von Neumann languages, and abstraction levels for hardware modeling.  ...  This will be followed by a presentation of popular models of computations, in combination with examples of the corresponding languages.  ...  If time is to be modeled, standard Petri nets cannot be used. Furthermore, standard Petri nets have no notion of hierarchy and no programming language elements, let alone object-oriented features.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-60910-8_2">doi:10.1007/978-3-030-60910-8_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gxmydpjzjvfk7ni2rj62j365zi">fatcat:gxmydpjzjvfk7ni2rj62j365zi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210429094255/https://link.springer.com/content/pdf/10.1007%2F978-3-030-60910-8_2.pdf?error=cookies_not_supported&amp;code=89bfe2ff-a3b6-46eb-8225-5e408a3f4474" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7a/e3/7ae399479a082a7c20b81a321a8e5722837acdcb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-60910-8_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems [chapter]

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
<span title="">1999</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The benefits of using if are multiples. First, it is general enough to handle significant subsets of most fdts, and in particular a translation from sdl to if is already implemented.  ...  But, most of these tools are based on simple ad hoc formalisms and the gap between them and real fdt restricts their use at industrial scale.  ...  The right approach to model and validate lotos specifications is recognized to be the use of Petri nets, rather than communicating extended automata [GS90] as intermediate representation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48119-2_19">doi:10.1007/3-540-48119-2_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nnhwqtlc6bb53nrfva7ickokfm">fatcat:nnhwqtlc6bb53nrfva7ickokfm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190504001254/https://link.springer.com/content/pdf/10.1007%2F3-540-48119-2_19.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b8/c8/b8c8f0ac18f6ee49405463f6e3594ae815b84817.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48119-2_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Graphs in MetaFrame: The unifying power of polymorphism [chapter]

M. von der Beeck, V. Braun, A. Claßen, A. Dannecker, C. Friedrich, D. Koschützki, T. Margaria, F. Schreiber, B. Steffen
<span title="">1997</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The flexibility of this tool, which mainly arises as a consequence of combining complex graph labelings expressing the intended semantics with hierarchy and customized graphical node representations, is  ...  We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs.  ...  Particularly powerful are semanticsbased versions of labelled graphs, 1 which adequately represent structures like flow graphs, transition systems, automata, partial orders, and Petri nets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0035384">doi:10.1007/bfb0035384</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e3ozk7d2wrauve6jibahhog3vq">fatcat:e3ozk7d2wrauve6jibahhog3vq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725135914/https://link.springer.com/content/pdf/10.1007%2FBFb0035384.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2b/ce/2bceabd4a45ed0f4a185ed84c569d7adf135dedf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0035384"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Tools for specifying real-time systems

Giacomo Bucci, Maurizio Campanai, Paolo Nesi
<span title="">1995</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6uj52ajhhrfhrh2at2niwfy6oq" style="color: black;">Real-time systems</a> </i> &nbsp;
Many tools have grown out of languages and methodologies proposed in the early 1970s.  ...  Specification techniques are classified as operational, descriptive or dual if they have both operational and descriptive capabilities.  ...  Traversi, and E. Vicario, for their help.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bf01094341">doi:10.1007/bf01094341</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wmjlzjkegbb2bgi7twtlxffqnq">fatcat:wmjlzjkegbb2bgi7twtlxffqnq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809053738/http://www.disit.org/axmedis/11e/00000-11e39c09-7576-4b88-8907-501b4d636af9/2/~saved-on-db-11e39c09-7576-4b88-8907-501b4d636af9.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fb/5c/fb5c1945432d7762b3dcfccd304de682f8eda50a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bf01094341"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Specification-driven Performance Monitoring of SDL/MSC-specified Protocols [chapter]

P. Dauphin, W. Dulz, F. Lemmen
<span title="">1996</span> <i title="Springer US"> Protocol Test Systems VIII </i> &nbsp;
Our approach allows us to integrate software and performance engineering techniques into a comprehensive methodology.  ...  While SDL specifications describe the overall system architecture in detail, MSC scenarios are used to specify the load-dependent behavior of interacting system components.  ...  In model-driven monitoring the event, a common abstraction of event-driven monitoring and event-oriented models like graph models, Petri nets, queueing models, etc., is used to integrate modeling and monitoring  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-34988-6_26">doi:10.1007/978-0-387-34988-6_26</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b7rbcym7afhenpqbj3ebknloyu">fatcat:b7rbcym7afhenpqbj3ebknloyu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501041906/https://link.springer.com/content/pdf/10.1007%2F978-0-387-34988-6_26.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/96/22/9622fc9a0e3a9433e94cf64e310d37a7f2fc9be6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-34988-6_26"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Multilanguage Specification for System Design [chapter]

A. A. Jerraya, M. Romdhani, Ph. Marrec, F. Hessel, P. Coste, C. Valderrama, G. F. Marchioro, J. M. Daveau, N.-E. Zergainoh
<span title="">1999</span> <i title="Springer Netherlands"> System-Level Synthesis </i> &nbsp;
For example, Esterel and StateCharts assume that the transitions of all parallel entities must take the same amount of time.  ...  However, its expression power is quite low for communication and data structure. SDL may be a realistic choice for system specification. SDL provides acceptable facilities for most criteria.  ...  Petri Nets [45] are tools that enable to represent discrete event systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-94-011-4698-2_3">doi:10.1007/978-94-011-4698-2_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xjrihqmg7bczjlwr2eoaezpxsa">fatcat:xjrihqmg7bczjlwr2eoaezpxsa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809155139/http://www.cas.mcmaster.ca/~sancheg/EE_UCU2006_thesis/biblio/Multilanguage%20Specification%20for%20System%20Design%20and%20Co-Design%20(asi).pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b0/63/b06389f2b65df3e4408cb777e3a4ec23e80dc250.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-94-011-4698-2_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Evaluation and Design Methodology for Real Time Systems

Egidijus Kazanavičius
<span title="2004-01-01">2004</span> <i title="Vilnius University Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2euqyspe25eahoco4ofscpbnai" style="color: black;">Informatica</a> </i> &nbsp;
using UML and Petri Nets.  ...  Petri net variants are widely used as a real time systems modeling technique.  ...  In particular, for formally verifying the timing properties of an UML specification, a parallel specification in formalism such as timed automata, timed Petri nets or SDL, may be necessary (Bozga et al  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15388/informatica.2004.045">doi:10.15388/informatica.2004.045</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mjqnrjfyifdlziejyvhlzphgra">fatcat:mjqnrjfyifdlziejyvhlzphgra</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830051125/https://www.mii.lt/informatica/pdf/INFO547.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/69/5e6968911931b30c782e4006b2b87be5bd0168e7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15388/informatica.2004.045"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

FunState-an internal design representation for codesign

K. Strehl, L. Thiele, M. Gries, D. Ziegenbein, R. Ernst, J. Teich
<span title="">2001</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uqbr2omxsbdgtaxslmblka2nnu" style="color: black;">IEEE Transactions on Very Large Scale Integration (vlsi) Systems</a> </i> &nbsp;
using a mixture of functional programming and state machines.  ...  machines as well as Petri nets may be represented in the FunState model.  ...  These are, for example, SDL [31] , codesign finite state machines (CFSMs) [2] , combining synchronous dataflow (SDF) [25] with finite state machines (FSMs) [29, 14] and program state machines [36  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/92.931229">doi:10.1109/92.931229</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w3ngg4spgzbdbmgsbzjflvdgde">fatcat:w3ngg4spgzbdbmgsbzjflvdgde</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050314101552/http://www.sigda.org:80/Archives/ProceedingArchives/Iccad/Iccad99/papers/1999/iccad99/pdffiles/10b_2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ec/87/ec87a6500763a095ac331d2d48c426d110354eda.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/92.931229"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis [chapter]

Egon Börger
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
way the basics of algorithms (sequential and distributed computations) and formal languages (grammars and automata) as well as the computational content of the major programming paradigms and high-level  ...  models of computation-algorithms (undecidability and complexity) and formal languages (grammars and automata of the Chomsky hierarchy)-, but also the principles of programming constructs and of high-level  ...  Finite Automata.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30472-2_5">doi:10.1007/978-3-540-30472-2_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/czccve6bt5dwlkkfbqm7wrbkd4">fatcat:czccve6bt5dwlkkfbqm7wrbkd4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830034055/http://www.di.unipi.it/~boerger/Papers/Miscellaneous/ComPggThy04.pdf?origin=publication_detail" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/aa/9a/aa9abc9f4d1b60c7378b0aaa18a4c1f95b11da80.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30472-2_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Performance evaluation of composite Web services

Lynda Mokdad, Jalel Ben Othman, Abdelkrim Abdelli
<span title="2015-06-04">2015</span> <i title="European Alliance for Innovation n.o."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/l7xphlcxlzcopemlfe46zdv2ui" style="color: black;">EAI Endorsed Transactions on Industrial Networks and Intelligent Systems</a> </i> &nbsp;
We propose in this paper to use stochastic automata networks which a is powerful formalism as it provides semantics to specify synchronization within a very smart formalism.  ...  Contrary to previous approaches, the modeling and the performance evaluation of a variable number of remote service invocation become possible.  ...  However, existing models have been also used to model and compose web services, such as: workflows graphs, Petri nets and currently programming languages as Java and C.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4108/inis.2.4.e4">doi:10.4108/inis.2.4.e4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fixwnhdtljg5faceeepqh6odi4">fatcat:fixwnhdtljg5faceeepqh6odi4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180415203437/http://eudl.eu/pdf/10.4108/inis.2.4.e4" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9a/39/9a393975c046da4d9b29f3221f249faeb67beda8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4108/inis.2.4.e4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Embedded and Real-time Systems [chapter]

Edward L. Lamie
<span title="">2009</span> <i title="Elsevier"> Real-Time Embedded Multithreading Using ThreadX and MIPS </i> &nbsp;
Verification models and techniques applied to testing and control of reactive systems RESEARCH CENTER Rennes -Bretagne-Atlantique THEME Embedded and Real Time Systems Project-Team VERTECS  ...  Probabilistic ω-automata 9 6.1.2. Petri nets reachability graphs 9 6.1.3. Frequencies in timed automata 9 6.1.4. Bounded satisfiability for PCTL 10 .  ...  Petri nets reachability graphs Participant: Christophe Morvan.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/b978-1-85617-631-6.00001-9">doi:10.1016/b978-1-85617-631-6.00001-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sq7s43icwvgk7lro4lpmj46g4a">fatcat:sq7s43icwvgk7lro4lpmj46g4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151027070205/http://raweb.inria.fr/rapportsactivite/RA2012/vertecs/vertecs.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/02/9202852a4ce259365cb579bd2504c4a8055bff67.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/b978-1-85617-631-6.00001-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 132 results