Search results for "step-sequences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	H. C. M. Kleijn, Maciej Koutny	Infinite Process Semantics of Inhibitor Nets.	ICATPN	2006	DBLP DOI BibTeX RDF	theory of concurrency, weighted inhibitor arcs, causality semantics, infinite processes, occurrence nets, Petri nets, step sequences
32	H. C. M. Kleijn, Maciej Koutny	Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.	CONCUR	2002	DBLP DOI BibTeX RDF	theory of concurrency, weighted inhibitor arcs, causality semantics, occurrence nets, Petri nets, step sequences
29	Ryszard Janicki, Maciej Koutny	Invariant Semantics of Nets with Inhibitor Arcs.	CONCUR	1991	DBLP DOI BibTeX RDF
27	Ryszard Janicki, Dai Tri Man Le	Modelling Concurrency with Quotient Monoids.	Petri Nets	2008	DBLP DOI BibTeX RDF	quotient monoids, comtraces, stratified partial orders, stratified order structures, traces, canonical representations, step sequences
23	Ryszard Janicki, Emil Sekerinski	Foundations of the Trace Assertion Method of Module Interface Specification.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences
23	Maciej Koutny, Javier Esparza, Eike Best	Operational Semantics for the Petri Box Calculus.	CONCUR	1994	DBLP DOI BibTeX RDF	Petri nets, process algebra, structured operational semantics, step sequences
23	Ryszard Janicki, Maciej Koutny	Optimal simulations, nets and reachability graphs.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	verification, Petri nets, traces, liveness, partial order semantics, reachability graphs, step sequences, state-space generation, deadlock-freeness
13	Matthias Jantzen, Georg Zetzsche	Labeled Step Sequences in Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
10	Robin Bergenthum, Jörg Desel, Sebastian Mauser	Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Partial Order Behavior, Region Theory, Petri Net, Synthesis Algorithm
8	Gabriel Juhás, Robert Lorenz 0001, Jörg Desel	Unifying Petri Net Semantics with Token Flows.	Petri Nets	2009	DBLP DOI BibTeX RDF
8	Mogens Nielsen, Uffe Engberg, Kim S. Larsen	Fully abstract models for a process language with refinement.	REX Workshop	1988	DBLP DOI BibTeX RDF	change of atomicity, noninterleaved models, labelled partial orders, semiwords, concurrency, full abstraction
7	David Nitzan	Three-Dimensional Vision Structure for Robot Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	3D vision structure, parts picking, arc welding, computer vision, computer vision, robots, computerised pattern recognition, computerised pattern recognition, robot vision, rule-based program, data preprocessing
5	Paolo Baldan, Barbara König 0001	Workshop on Petri Nets and Graph Transformations.	ICGT	2008	DBLP DOI BibTeX RDF
5	Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg	Workshop on Petri Nets and Graph Transformations.	ICGT	2006	DBLP DOI BibTeX RDF
5	Liu Ren, Gregory Shakhnarovich, Jessica K. Hodgins, Hanspeter Pfister, Paul A. Viola	Learning silhouette features for control of human motion.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	Performance animation, machine-learning, computer vision, motion capture, motion control, animation interface
5	Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg	Workshop on Petri Nets and Graph Transformations.	ICGT	2004	DBLP DOI BibTeX RDF
5	Guangyuan Guo, Ryszard Janicki	Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations.	AMAST	2002	DBLP DOI BibTeX RDF
5	Hanna Klaudel, Robert-C. Riemann	High Level Expressions with their SOS Semantics (Extended Abstract).	CONCUR	1997	DBLP DOI BibTeX RDF
5	Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero	Timed Processes of Timed Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
5	Astrid Kiehn	Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF