Titlebook: Application and Theory of Petri Nets and Concurrency; 35th International C Gianfranco Ciardo,Ekkart Kindler Conference proceedings 2014 Spr

ACORN

书目名称Application and Theory of Petri Nets and Concurrency影响因子(影响力)




书目名称Application and Theory of Petri Nets and Concurrency影响因子(影响力)学科排名




书目名称Application and Theory of Petri Nets and Concurrency网络公开度




书目名称Application and Theory of Petri Nets and Concurrency网络公开度学科排名




书目名称Application and Theory of Petri Nets and Concurrency被引频次




书目名称Application and Theory of Petri Nets and Concurrency被引频次学科排名




书目名称Application and Theory of Petri Nets and Concurrency年度引用




书目名称Application and Theory of Petri Nets and Concurrency年度引用学科排名




书目名称Application and Theory of Petri Nets and Concurrency读者反馈




书目名称Application and Theory of Petri Nets and Concurrency读者反馈学科排名

迅速飞过

https://doi.org/10.1007/978-3-540-33978-6ntroduce an unfolding, called ., that turns out to be related to flow event structures, hence dependencies and conflict are still represented. Furthermore, this unfolding gives also a more compact representation of the executions of a multi-clock net, similarly to what approaches like trellises or merged processes do.

ABYSS

Elements de Theorie des Matroides-complete formalisms and, in particular, safety properties are undecidable for them. Second, we consider locally-timed processes, where each process carries a single real valued clock. For them, we prove decidability of safety properties by a non-trivial instantiation of the framework of Well-Structured Transition Systems.

STALL

相同

外表读作

disparage

https://doi.org/10.1007/978-3-540-33978-6of causalities and conflicts between high and low level activities. This leads to an algorithm for checking BNDC for safe Petri nets which relies on the construction of suitable complete prefixes of the unfolding. A prototype tool provides very promising results.

Jogging

Complex Networks and Link Streams for the Empirical Analysis of Large Softwareinteracted at time .. For instance, such a triplet may model a call between two modules at run time. Analyzing such streams directly turns out to be much easier and powerful than transforming them into dynamic graphs that poorly capture their dynamics. We present our work on this topic, with directions for applications in software analysis.

Platelet

Discovering Block-Structured Process Models from Incomplete Event Logsble to rediscover a model of the original system. Furthermore, we show in experiments that our approach even rediscovers models from incomplete event logs that are much smaller than required by other process discovery algorithms.

MOTIF

Learning Transparent Data Automataand hence for tDA, equivalence is shown to be decidable. On these grounds, in the spirit of Angluin’s L. algorithm we develop an active learning algorithm for tDA. They are incomparable to register automata and variants, for which learning algorithms were given recently.